package com.luoxiang.lib_common.utils;

import java.security.MessageDigest;
import java.security.NoSuchAlgorithmException;

public class authpack {
	public static int sha1_32(byte[] buf){int ret=0;try{byte[] digest=MessageDigest.getInstance("SHA1").digest(buf);return ((int)(digest[0]&0xff)<<24)+((int)(digest[1]&0xff)<<16)+((int)(digest[2]&0xff)<<8)+((int)(digest[3]&0xff)<<0);}catch(Exception e){}return ret;}
	public static byte[] A(){
		byte[] buf=new byte[1274];
		int i=0;
		for(i=-22;i<-1;i++){ buf[0]=(byte)i; if(sha1_32(buf)==-1680135101){break;} }
		for(i=-19;i<-12;i++){ buf[1]=(byte)i; if(sha1_32(buf)==-124758533){break;} }
		for(i=63;i<89;i++){ buf[2]=(byte)i; if(sha1_32(buf)==2007245507){break;} }
		for(i=-69;i<-53;i++){ buf[3]=(byte)i; if(sha1_32(buf)==2136078474){break;} }
		for(i=-91;i<-75;i++){ buf[4]=(byte)i; if(sha1_32(buf)==175809583){break;} }
		for(i=7;i<38;i++){ buf[5]=(byte)i; if(sha1_32(buf)==437186460){break;} }
		for(i=-26;i<0;i++){ buf[6]=(byte)i; if(sha1_32(buf)==-1089076384){break;} }
		for(i=7;i<13;i++){ buf[7]=(byte)i; if(sha1_32(buf)==-625488474){break;} }
		for(i=86;i<95;i++){ buf[8]=(byte)i; if(sha1_32(buf)==-1561939210){break;} }
		for(i=-83;i<-68;i++){ buf[9]=(byte)i; if(sha1_32(buf)==10526048){break;} }
		for(i=-111;i<-96;i++){ buf[10]=(byte)i; if(sha1_32(buf)==1334007665){break;} }
		for(i=-124;i<-103;i++){ buf[11]=(byte)i; if(sha1_32(buf)==-1217093420){break;} }
		for(i=-55;i<-32;i++){ buf[12]=(byte)i; if(sha1_32(buf)==-1983924432){break;} }
		for(i=6;i<17;i++){ buf[13]=(byte)i; if(sha1_32(buf)==-1791757348){break;} }
		for(i=86;i<101;i++){ buf[14]=(byte)i; if(sha1_32(buf)==213542329){break;} }
		for(i=40;i<58;i++){ buf[15]=(byte)i; if(sha1_32(buf)==1520581870){break;} }
		for(i=-119;i<-106;i++){ buf[16]=(byte)i; if(sha1_32(buf)==-470639576){break;} }
		for(i=-109;i<-89;i++){ buf[17]=(byte)i; if(sha1_32(buf)==-801360386){break;} }
		for(i=-72;i<-47;i++){ buf[18]=(byte)i; if(sha1_32(buf)==-1381045992){break;} }
		for(i=-31;i<-13;i++){ buf[19]=(byte)i; if(sha1_32(buf)==897958727){break;} }
		for(i=44;i<50;i++){ buf[20]=(byte)i; if(sha1_32(buf)==1190059670){break;} }
		for(i=-101;i<-84;i++){ buf[21]=(byte)i; if(sha1_32(buf)==2053600938){break;} }
		for(i=95;i<119;i++){ buf[22]=(byte)i; if(sha1_32(buf)==-258496882){break;} }
		for(i=-108;i<-85;i++){ buf[23]=(byte)i; if(sha1_32(buf)==-1736819659){break;} }
		for(i=-8;i<3;i++){ buf[24]=(byte)i; if(sha1_32(buf)==-1792733964){break;} }
		for(i=92;i<112;i++){ buf[25]=(byte)i; if(sha1_32(buf)==483794944){break;} }
		for(i=42;i<53;i++){ buf[26]=(byte)i; if(sha1_32(buf)==143512855){break;} }
		for(i=113;i<128;i++){ buf[27]=(byte)i; if(sha1_32(buf)==97193549){break;} }
		for(i=-34;i<-10;i++){ buf[28]=(byte)i; if(sha1_32(buf)==1660018499){break;} }
		for(i=-50;i<-30;i++){ buf[29]=(byte)i; if(sha1_32(buf)==1003731461){break;} }
		for(i=0;i<13;i++){ buf[30]=(byte)i; if(sha1_32(buf)==-1560978662){break;} }
		for(i=114;i<128;i++){ buf[31]=(byte)i; if(sha1_32(buf)==393278409){break;} }
		for(i=29;i<55;i++){ buf[32]=(byte)i; if(sha1_32(buf)==1217998460){break;} }
		for(i=83;i<103;i++){ buf[33]=(byte)i; if(sha1_32(buf)==-1117309877){break;} }
		for(i=113;i<128;i++){ buf[34]=(byte)i; if(sha1_32(buf)==-753882011){break;} }
		for(i=-80;i<-55;i++){ buf[35]=(byte)i; if(sha1_32(buf)==1870980703){break;} }
		for(i=31;i<51;i++){ buf[36]=(byte)i; if(sha1_32(buf)==-903720726){break;} }
		for(i=-80;i<-75;i++){ buf[37]=(byte)i; if(sha1_32(buf)==130805747){break;} }
		for(i=-102;i<-87;i++){ buf[38]=(byte)i; if(sha1_32(buf)==-1858052095){break;} }
		for(i=-73;i<-56;i++){ buf[39]=(byte)i; if(sha1_32(buf)==1135358508){break;} }
		for(i=-57;i<-35;i++){ buf[40]=(byte)i; if(sha1_32(buf)==2055336751){break;} }
		for(i=55;i<72;i++){ buf[41]=(byte)i; if(sha1_32(buf)==1495968005){break;} }
		for(i=95;i<120;i++){ buf[42]=(byte)i; if(sha1_32(buf)==-1177778913){break;} }
		for(i=-108;i<-83;i++){ buf[43]=(byte)i; if(sha1_32(buf)==1702237911){break;} }
		for(i=85;i<93;i++){ buf[44]=(byte)i; if(sha1_32(buf)==1947638252){break;} }
		for(i=-85;i<-76;i++){ buf[45]=(byte)i; if(sha1_32(buf)==-2061594259){break;} }
		for(i=77;i<102;i++){ buf[46]=(byte)i; if(sha1_32(buf)==-1519818831){break;} }
		for(i=-115;i<-108;i++){ buf[47]=(byte)i; if(sha1_32(buf)==-1788744117){break;} }
		for(i=46;i<76;i++){ buf[48]=(byte)i; if(sha1_32(buf)==1834650776){break;} }
		for(i=-86;i<-79;i++){ buf[49]=(byte)i; if(sha1_32(buf)==1008603565){break;} }
		for(i=44;i<67;i++){ buf[50]=(byte)i; if(sha1_32(buf)==-931408649){break;} }
		for(i=5;i<15;i++){ buf[51]=(byte)i; if(sha1_32(buf)==-1824485238){break;} }
		for(i=80;i<86;i++){ buf[52]=(byte)i; if(sha1_32(buf)==-1992816398){break;} }
		for(i=-88;i<-63;i++){ buf[53]=(byte)i; if(sha1_32(buf)==853455886){break;} }
		for(i=52;i<79;i++){ buf[54]=(byte)i; if(sha1_32(buf)==-392606795){break;} }
		for(i=90;i<106;i++){ buf[55]=(byte)i; if(sha1_32(buf)==599544161){break;} }
		for(i=21;i<35;i++){ buf[56]=(byte)i; if(sha1_32(buf)==1711546332){break;} }
		for(i=-47;i<-39;i++){ buf[57]=(byte)i; if(sha1_32(buf)==-193857534){break;} }
		for(i=16;i<28;i++){ buf[58]=(byte)i; if(sha1_32(buf)==-1550216747){break;} }
		for(i=-35;i<-29;i++){ buf[59]=(byte)i; if(sha1_32(buf)==1502117696){break;} }
		for(i=104;i<122;i++){ buf[60]=(byte)i; if(sha1_32(buf)==1200896087){break;} }
		for(i=26;i<47;i++){ buf[61]=(byte)i; if(sha1_32(buf)==1163112724){break;} }
		for(i=33;i<43;i++){ buf[62]=(byte)i; if(sha1_32(buf)==1474128412){break;} }
		for(i=4;i<18;i++){ buf[63]=(byte)i; if(sha1_32(buf)==1426690567){break;} }
		for(i=-24;i<-18;i++){ buf[64]=(byte)i; if(sha1_32(buf)==-1937975782){break;} }
		for(i=60;i<73;i++){ buf[65]=(byte)i; if(sha1_32(buf)==190444532){break;} }
		for(i=100;i<107;i++){ buf[66]=(byte)i; if(sha1_32(buf)==1915094099){break;} }
		for(i=-126;i<-103;i++){ buf[67]=(byte)i; if(sha1_32(buf)==-411525142){break;} }
		for(i=-81;i<-62;i++){ buf[68]=(byte)i; if(sha1_32(buf)==1143889757){break;} }
		for(i=60;i<74;i++){ buf[69]=(byte)i; if(sha1_32(buf)==638521096){break;} }
		for(i=86;i<107;i++){ buf[70]=(byte)i; if(sha1_32(buf)==925349496){break;} }
		for(i=-62;i<-38;i++){ buf[71]=(byte)i; if(sha1_32(buf)==-1337196705){break;} }
		for(i=-128;i<-116;i++){ buf[72]=(byte)i; if(sha1_32(buf)==1226399077){break;} }
		for(i=98;i<113;i++){ buf[73]=(byte)i; if(sha1_32(buf)==75031905){break;} }
		for(i=-75;i<-52;i++){ buf[74]=(byte)i; if(sha1_32(buf)==187046313){break;} }
		for(i=80;i<88;i++){ buf[75]=(byte)i; if(sha1_32(buf)==875176298){break;} }
		for(i=-32;i<-12;i++){ buf[76]=(byte)i; if(sha1_32(buf)==856362544){break;} }
		for(i=9;i<16;i++){ buf[77]=(byte)i; if(sha1_32(buf)==-341026702){break;} }
		for(i=-126;i<-113;i++){ buf[78]=(byte)i; if(sha1_32(buf)==-1889836212){break;} }
		for(i=101;i<121;i++){ buf[79]=(byte)i; if(sha1_32(buf)==2005863677){break;} }
		for(i=-48;i<-24;i++){ buf[80]=(byte)i; if(sha1_32(buf)==1453213519){break;} }
		for(i=-128;i<-118;i++){ buf[81]=(byte)i; if(sha1_32(buf)==25193891){break;} }
		for(i=-39;i<-27;i++){ buf[82]=(byte)i; if(sha1_32(buf)==482929453){break;} }
		for(i=18;i<25;i++){ buf[83]=(byte)i; if(sha1_32(buf)==-1871927443){break;} }
		for(i=14;i<31;i++){ buf[84]=(byte)i; if(sha1_32(buf)==1112075336){break;} }
		for(i=3;i<20;i++){ buf[85]=(byte)i; if(sha1_32(buf)==-809083155){break;} }
		for(i=-76;i<-65;i++){ buf[86]=(byte)i; if(sha1_32(buf)==-1500621604){break;} }
		for(i=-113;i<-106;i++){ buf[87]=(byte)i; if(sha1_32(buf)==1274382173){break;} }
		for(i=84;i<95;i++){ buf[88]=(byte)i; if(sha1_32(buf)==1687459689){break;} }
		for(i=-108;i<-104;i++){ buf[89]=(byte)i; if(sha1_32(buf)==-116315623){break;} }
		for(i=-14;i<9;i++){ buf[90]=(byte)i; if(sha1_32(buf)==1633778300){break;} }
		for(i=-36;i<-22;i++){ buf[91]=(byte)i; if(sha1_32(buf)==1789342369){break;} }
		for(i=50;i<56;i++){ buf[92]=(byte)i; if(sha1_32(buf)==1995882580){break;} }
		for(i=39;i<52;i++){ buf[93]=(byte)i; if(sha1_32(buf)==118035392){break;} }
		for(i=-91;i<-77;i++){ buf[94]=(byte)i; if(sha1_32(buf)==-1635869323){break;} }
		for(i=72;i<85;i++){ buf[95]=(byte)i; if(sha1_32(buf)==795231908){break;} }
		for(i=-122;i<-114;i++){ buf[96]=(byte)i; if(sha1_32(buf)==1359405987){break;} }
		for(i=-105;i<-97;i++){ buf[97]=(byte)i; if(sha1_32(buf)==-1292260063){break;} }
		for(i=-85;i<-67;i++){ buf[98]=(byte)i; if(sha1_32(buf)==-2044337233){break;} }
		for(i=18;i<20;i++){ buf[99]=(byte)i; if(sha1_32(buf)==-627556079){break;} }
		for(i=94;i<100;i++){ buf[100]=(byte)i; if(sha1_32(buf)==-1534513770){break;} }
		for(i=110;i<125;i++){ buf[101]=(byte)i; if(sha1_32(buf)==-342223691){break;} }
		for(i=-97;i<-83;i++){ buf[102]=(byte)i; if(sha1_32(buf)==-661709441){break;} }
		for(i=72;i<99;i++){ buf[103]=(byte)i; if(sha1_32(buf)==-93929823){break;} }
		for(i=-53;i<-30;i++){ buf[104]=(byte)i; if(sha1_32(buf)==1326361505){break;} }
		for(i=57;i<68;i++){ buf[105]=(byte)i; if(sha1_32(buf)==-1364271937){break;} }
		for(i=55;i<70;i++){ buf[106]=(byte)i; if(sha1_32(buf)==-1541561448){break;} }
		for(i=18;i<43;i++){ buf[107]=(byte)i; if(sha1_32(buf)==175558787){break;} }
		for(i=-125;i<-108;i++){ buf[108]=(byte)i; if(sha1_32(buf)==-998102768){break;} }
		for(i=-5;i<0;i++){ buf[109]=(byte)i; if(sha1_32(buf)==-1372878450){break;} }
		for(i=58;i<67;i++){ buf[110]=(byte)i; if(sha1_32(buf)==886546960){break;} }
		for(i=-78;i<-70;i++){ buf[111]=(byte)i; if(sha1_32(buf)==-805234643){break;} }
		for(i=-89;i<-69;i++){ buf[112]=(byte)i; if(sha1_32(buf)==449844281){break;} }
		for(i=73;i<89;i++){ buf[113]=(byte)i; if(sha1_32(buf)==768622075){break;} }
		for(i=-32;i<-23;i++){ buf[114]=(byte)i; if(sha1_32(buf)==1722583095){break;} }
		for(i=-39;i<-22;i++){ buf[115]=(byte)i; if(sha1_32(buf)==-80626287){break;} }
		for(i=-37;i<-10;i++){ buf[116]=(byte)i; if(sha1_32(buf)==109044211){break;} }
		for(i=-42;i<-18;i++){ buf[117]=(byte)i; if(sha1_32(buf)==1366096374){break;} }
		for(i=107;i<128;i++){ buf[118]=(byte)i; if(sha1_32(buf)==-1762569856){break;} }
		for(i=-22;i<-2;i++){ buf[119]=(byte)i; if(sha1_32(buf)==-25020758){break;} }
		for(i=-98;i<-71;i++){ buf[120]=(byte)i; if(sha1_32(buf)==261035650){break;} }
		for(i=99;i<117;i++){ buf[121]=(byte)i; if(sha1_32(buf)==346362175){break;} }
		for(i=-111;i<-99;i++){ buf[122]=(byte)i; if(sha1_32(buf)==1256633989){break;} }
		for(i=10;i<22;i++){ buf[123]=(byte)i; if(sha1_32(buf)==250381818){break;} }
		for(i=59;i<70;i++){ buf[124]=(byte)i; if(sha1_32(buf)==-1586945955){break;} }
		for(i=41;i<50;i++){ buf[125]=(byte)i; if(sha1_32(buf)==1117952249){break;} }
		for(i=-22;i<-11;i++){ buf[126]=(byte)i; if(sha1_32(buf)==304218164){break;} }
		for(i=-101;i<-73;i++){ buf[127]=(byte)i; if(sha1_32(buf)==1684975128){break;} }
		for(i=-93;i<-80;i++){ buf[128]=(byte)i; if(sha1_32(buf)==-2089826835){break;} }
		for(i=11;i<26;i++){ buf[129]=(byte)i; if(sha1_32(buf)==-249653886){break;} }
		for(i=10;i<13;i++){ buf[130]=(byte)i; if(sha1_32(buf)==-1953533829){break;} }
		for(i=-94;i<-75;i++){ buf[131]=(byte)i; if(sha1_32(buf)==-286698385){break;} }
		for(i=112;i<128;i++){ buf[132]=(byte)i; if(sha1_32(buf)==341714960){break;} }
		for(i=-42;i<-28;i++){ buf[133]=(byte)i; if(sha1_32(buf)==-317356995){break;} }
		for(i=-104;i<-85;i++){ buf[134]=(byte)i; if(sha1_32(buf)==206848008){break;} }
		for(i=48;i<65;i++){ buf[135]=(byte)i; if(sha1_32(buf)==-1828296973){break;} }
		for(i=-16;i<8;i++){ buf[136]=(byte)i; if(sha1_32(buf)==-1766981655){break;} }
		for(i=34;i<39;i++){ buf[137]=(byte)i; if(sha1_32(buf)==-704137786){break;} }
		for(i=-38;i<-27;i++){ buf[138]=(byte)i; if(sha1_32(buf)==-1908492966){break;} }
		for(i=-5;i<-4;i++){ buf[139]=(byte)i; if(sha1_32(buf)==-1725410142){break;} }
		for(i=79;i<100;i++){ buf[140]=(byte)i; if(sha1_32(buf)==641098908){break;} }
		for(i=-128;i<-114;i++){ buf[141]=(byte)i; if(sha1_32(buf)==638713088){break;} }
		for(i=-25;i<2;i++){ buf[142]=(byte)i; if(sha1_32(buf)==311776549){break;} }
		for(i=-45;i<-32;i++){ buf[143]=(byte)i; if(sha1_32(buf)==-652941309){break;} }
		for(i=110;i<124;i++){ buf[144]=(byte)i; if(sha1_32(buf)==-701615211){break;} }
		for(i=13;i<33;i++){ buf[145]=(byte)i; if(sha1_32(buf)==-2049477499){break;} }
		for(i=-107;i<-85;i++){ buf[146]=(byte)i; if(sha1_32(buf)==1442373763){break;} }
		for(i=49;i<69;i++){ buf[147]=(byte)i; if(sha1_32(buf)==1468315608){break;} }
		for(i=-62;i<-41;i++){ buf[148]=(byte)i; if(sha1_32(buf)==-396281741){break;} }
		for(i=-109;i<-105;i++){ buf[149]=(byte)i; if(sha1_32(buf)==-796049827){break;} }
		for(i=44;i<61;i++){ buf[150]=(byte)i; if(sha1_32(buf)==-221772298){break;} }
		for(i=-64;i<-48;i++){ buf[151]=(byte)i; if(sha1_32(buf)==-1558735237){break;} }
		for(i=-19;i<3;i++){ buf[152]=(byte)i; if(sha1_32(buf)==-1293910099){break;} }
		for(i=-109;i<-89;i++){ buf[153]=(byte)i; if(sha1_32(buf)==1087423902){break;} }
		for(i=-111;i<-100;i++){ buf[154]=(byte)i; if(sha1_32(buf)==2005503644){break;} }
		for(i=14;i<39;i++){ buf[155]=(byte)i; if(sha1_32(buf)==1550707016){break;} }
		for(i=66;i<84;i++){ buf[156]=(byte)i; if(sha1_32(buf)==-2066168498){break;} }
		for(i=-128;i<-107;i++){ buf[157]=(byte)i; if(sha1_32(buf)==1415971765){break;} }
		for(i=-91;i<-75;i++){ buf[158]=(byte)i; if(sha1_32(buf)==-692055886){break;} }
		for(i=34;i<46;i++){ buf[159]=(byte)i; if(sha1_32(buf)==1416536723){break;} }
		for(i=101;i<115;i++){ buf[160]=(byte)i; if(sha1_32(buf)==319704045){break;} }
		for(i=96;i<114;i++){ buf[161]=(byte)i; if(sha1_32(buf)==2143756251){break;} }
		for(i=48;i<62;i++){ buf[162]=(byte)i; if(sha1_32(buf)==-299717033){break;} }
		for(i=-113;i<-101;i++){ buf[163]=(byte)i; if(sha1_32(buf)==-1602239384){break;} }
		for(i=118;i<128;i++){ buf[164]=(byte)i; if(sha1_32(buf)==-1915955632){break;} }
		for(i=-128;i<-118;i++){ buf[165]=(byte)i; if(sha1_32(buf)==-1182427014){break;} }
		for(i=27;i<48;i++){ buf[166]=(byte)i; if(sha1_32(buf)==385087110){break;} }
		for(i=-128;i<-118;i++){ buf[167]=(byte)i; if(sha1_32(buf)==768946848){break;} }
		for(i=-38;i<-14;i++){ buf[168]=(byte)i; if(sha1_32(buf)==1818871085){break;} }
		for(i=42;i<50;i++){ buf[169]=(byte)i; if(sha1_32(buf)==-1083634443){break;} }
		for(i=22;i<48;i++){ buf[170]=(byte)i; if(sha1_32(buf)==493205185){break;} }
		for(i=16;i<46;i++){ buf[171]=(byte)i; if(sha1_32(buf)==-126470923){break;} }
		for(i=20;i<44;i++){ buf[172]=(byte)i; if(sha1_32(buf)==1948670805){break;} }
		for(i=59;i<78;i++){ buf[173]=(byte)i; if(sha1_32(buf)==-2075740329){break;} }
		for(i=-20;i<-3;i++){ buf[174]=(byte)i; if(sha1_32(buf)==-644814075){break;} }
		for(i=-113;i<-104;i++){ buf[175]=(byte)i; if(sha1_32(buf)==2052028902){break;} }
		for(i=110;i<128;i++){ buf[176]=(byte)i; if(sha1_32(buf)==-1242176965){break;} }
		for(i=-80;i<-56;i++){ buf[177]=(byte)i; if(sha1_32(buf)==-1303001050){break;} }
		for(i=-121;i<-99;i++){ buf[178]=(byte)i; if(sha1_32(buf)==2113771853){break;} }
		for(i=11;i<26;i++){ buf[179]=(byte)i; if(sha1_32(buf)==66789172){break;} }
		for(i=-13;i<-1;i++){ buf[180]=(byte)i; if(sha1_32(buf)==-1250855920){break;} }
		for(i=78;i<88;i++){ buf[181]=(byte)i; if(sha1_32(buf)==547824197){break;} }
		for(i=-51;i<-29;i++){ buf[182]=(byte)i; if(sha1_32(buf)==1598449654){break;} }
		for(i=-80;i<-74;i++){ buf[183]=(byte)i; if(sha1_32(buf)==-120853947){break;} }
		for(i=-51;i<-40;i++){ buf[184]=(byte)i; if(sha1_32(buf)==1181305774){break;} }
		for(i=6;i<16;i++){ buf[185]=(byte)i; if(sha1_32(buf)==1315661688){break;} }
		for(i=-49;i<-34;i++){ buf[186]=(byte)i; if(sha1_32(buf)==275621224){break;} }
		for(i=115;i<118;i++){ buf[187]=(byte)i; if(sha1_32(buf)==-806031707){break;} }
		for(i=68;i<93;i++){ buf[188]=(byte)i; if(sha1_32(buf)==-276585931){break;} }
		for(i=-26;i<-2;i++){ buf[189]=(byte)i; if(sha1_32(buf)==-51633975){break;} }
		for(i=8;i<20;i++){ buf[190]=(byte)i; if(sha1_32(buf)==-1173062256){break;} }
		for(i=102;i<124;i++){ buf[191]=(byte)i; if(sha1_32(buf)==1777292548){break;} }
		for(i=-15;i<-2;i++){ buf[192]=(byte)i; if(sha1_32(buf)==-46293247){break;} }
		for(i=-114;i<-95;i++){ buf[193]=(byte)i; if(sha1_32(buf)==9713554){break;} }
		for(i=9;i<32;i++){ buf[194]=(byte)i; if(sha1_32(buf)==1281881059){break;} }
		for(i=8;i<25;i++){ buf[195]=(byte)i; if(sha1_32(buf)==-550681377){break;} }
		for(i=116;i<128;i++){ buf[196]=(byte)i; if(sha1_32(buf)==-785483514){break;} }
		for(i=1;i<30;i++){ buf[197]=(byte)i; if(sha1_32(buf)==1068723457){break;} }
		for(i=30;i<33;i++){ buf[198]=(byte)i; if(sha1_32(buf)==248378202){break;} }
		for(i=-22;i<6;i++){ buf[199]=(byte)i; if(sha1_32(buf)==-1780535912){break;} }
		for(i=80;i<89;i++){ buf[200]=(byte)i; if(sha1_32(buf)==-1873813952){break;} }
		for(i=-34;i<-17;i++){ buf[201]=(byte)i; if(sha1_32(buf)==-1487272873){break;} }
		for(i=115;i<126;i++){ buf[202]=(byte)i; if(sha1_32(buf)==30715529){break;} }
		for(i=43;i<56;i++){ buf[203]=(byte)i; if(sha1_32(buf)==-240560122){break;} }
		for(i=-104;i<-83;i++){ buf[204]=(byte)i; if(sha1_32(buf)==-1594697815){break;} }
		for(i=-74;i<-57;i++){ buf[205]=(byte)i; if(sha1_32(buf)==810771022){break;} }
		for(i=-94;i<-76;i++){ buf[206]=(byte)i; if(sha1_32(buf)==824310920){break;} }
		for(i=-71;i<-59;i++){ buf[207]=(byte)i; if(sha1_32(buf)==625759010){break;} }
		for(i=-65;i<-57;i++){ buf[208]=(byte)i; if(sha1_32(buf)==-38795611){break;} }
		for(i=114;i<128;i++){ buf[209]=(byte)i; if(sha1_32(buf)==-335994225){break;} }
		for(i=42;i<68;i++){ buf[210]=(byte)i; if(sha1_32(buf)==1393550540){break;} }
		for(i=-90;i<-74;i++){ buf[211]=(byte)i; if(sha1_32(buf)==-999602566){break;} }
		for(i=114;i<128;i++){ buf[212]=(byte)i; if(sha1_32(buf)==-478475676){break;} }
		for(i=-42;i<-31;i++){ buf[213]=(byte)i; if(sha1_32(buf)==-1854983410){break;} }
		for(i=57;i<79;i++){ buf[214]=(byte)i; if(sha1_32(buf)==-1094176977){break;} }
		for(i=-52;i<-35;i++){ buf[215]=(byte)i; if(sha1_32(buf)==1306246549){break;} }
		for(i=8;i<31;i++){ buf[216]=(byte)i; if(sha1_32(buf)==1434063695){break;} }
		for(i=68;i<72;i++){ buf[217]=(byte)i; if(sha1_32(buf)==-881645769){break;} }
		for(i=-78;i<-59;i++){ buf[218]=(byte)i; if(sha1_32(buf)==-1122510105){break;} }
		for(i=55;i<65;i++){ buf[219]=(byte)i; if(sha1_32(buf)==1062189540){break;} }
		for(i=12;i<30;i++){ buf[220]=(byte)i; if(sha1_32(buf)==-1877543941){break;} }
		for(i=44;i<66;i++){ buf[221]=(byte)i; if(sha1_32(buf)==-1529248772){break;} }
		for(i=55;i<61;i++){ buf[222]=(byte)i; if(sha1_32(buf)==-1038494430){break;} }
		for(i=-65;i<-39;i++){ buf[223]=(byte)i; if(sha1_32(buf)==1738308490){break;} }
		for(i=70;i<91;i++){ buf[224]=(byte)i; if(sha1_32(buf)==-964406500){break;} }
		for(i=4;i<16;i++){ buf[225]=(byte)i; if(sha1_32(buf)==-750436152){break;} }
		for(i=-55;i<-46;i++){ buf[226]=(byte)i; if(sha1_32(buf)==-209148737){break;} }
		for(i=-101;i<-86;i++){ buf[227]=(byte)i; if(sha1_32(buf)==1553023770){break;} }
		for(i=87;i<109;i++){ buf[228]=(byte)i; if(sha1_32(buf)==-723935){break;} }
		for(i=-25;i<-23;i++){ buf[229]=(byte)i; if(sha1_32(buf)==2081604285){break;} }
		for(i=-125;i<-103;i++){ buf[230]=(byte)i; if(sha1_32(buf)==-76046738){break;} }
		for(i=-56;i<-47;i++){ buf[231]=(byte)i; if(sha1_32(buf)==399176984){break;} }
		for(i=95;i<111;i++){ buf[232]=(byte)i; if(sha1_32(buf)==-1129944091){break;} }
		for(i=50;i<69;i++){ buf[233]=(byte)i; if(sha1_32(buf)==-1838543060){break;} }
		for(i=55;i<72;i++){ buf[234]=(byte)i; if(sha1_32(buf)==698277588){break;} }
		for(i=-37;i<-11;i++){ buf[235]=(byte)i; if(sha1_32(buf)==-358086730){break;} }
		for(i=-62;i<-54;i++){ buf[236]=(byte)i; if(sha1_32(buf)==-1515832334){break;} }
		for(i=-54;i<-30;i++){ buf[237]=(byte)i; if(sha1_32(buf)==1163356499){break;} }
		for(i=118;i<128;i++){ buf[238]=(byte)i; if(sha1_32(buf)==-1971863464){break;} }
		for(i=19;i<45;i++){ buf[239]=(byte)i; if(sha1_32(buf)==-1303297972){break;} }
		for(i=-48;i<-38;i++){ buf[240]=(byte)i; if(sha1_32(buf)==1011371078){break;} }
		for(i=-86;i<-65;i++){ buf[241]=(byte)i; if(sha1_32(buf)==684582832){break;} }
		for(i=77;i<97;i++){ buf[242]=(byte)i; if(sha1_32(buf)==2147099181){break;} }
		for(i=2;i<10;i++){ buf[243]=(byte)i; if(sha1_32(buf)==1839890313){break;} }
		for(i=-37;i<-25;i++){ buf[244]=(byte)i; if(sha1_32(buf)==167606136){break;} }
		for(i=-122;i<-101;i++){ buf[245]=(byte)i; if(sha1_32(buf)==-1181536688){break;} }
		for(i=114;i<127;i++){ buf[246]=(byte)i; if(sha1_32(buf)==-1334333832){break;} }
		for(i=98;i<115;i++){ buf[247]=(byte)i; if(sha1_32(buf)==1383646366){break;} }
		for(i=-19;i<4;i++){ buf[248]=(byte)i; if(sha1_32(buf)==798094729){break;} }
		for(i=-114;i<-95;i++){ buf[249]=(byte)i; if(sha1_32(buf)==1833267341){break;} }
		for(i=60;i<82;i++){ buf[250]=(byte)i; if(sha1_32(buf)==-2104943589){break;} }
		for(i=-25;i<-18;i++){ buf[251]=(byte)i; if(sha1_32(buf)==-2072603053){break;} }
		for(i=10;i<13;i++){ buf[252]=(byte)i; if(sha1_32(buf)==994965248){break;} }
		for(i=50;i<74;i++){ buf[253]=(byte)i; if(sha1_32(buf)==-138401689){break;} }
		for(i=78;i<95;i++){ buf[254]=(byte)i; if(sha1_32(buf)==-1407184824){break;} }
		for(i=-39;i<-17;i++){ buf[255]=(byte)i; if(sha1_32(buf)==-542742876){break;} }
		for(i=22;i<38;i++){ buf[256]=(byte)i; if(sha1_32(buf)==347548415){break;} }
		for(i=-21;i<-7;i++){ buf[257]=(byte)i; if(sha1_32(buf)==-1851287858){break;} }
		for(i=44;i<48;i++){ buf[258]=(byte)i; if(sha1_32(buf)==247629055){break;} }
		for(i=-75;i<-56;i++){ buf[259]=(byte)i; if(sha1_32(buf)==-1934686943){break;} }
		for(i=-126;i<-112;i++){ buf[260]=(byte)i; if(sha1_32(buf)==732748911){break;} }
		for(i=-49;i<-32;i++){ buf[261]=(byte)i; if(sha1_32(buf)==699071540){break;} }
		for(i=-16;i<-10;i++){ buf[262]=(byte)i; if(sha1_32(buf)==-1698496529){break;} }
		for(i=-74;i<-55;i++){ buf[263]=(byte)i; if(sha1_32(buf)==2042940502){break;} }
		for(i=-3;i<5;i++){ buf[264]=(byte)i; if(sha1_32(buf)==257597669){break;} }
		for(i=-114;i<-95;i++){ buf[265]=(byte)i; if(sha1_32(buf)==-1490539325){break;} }
		for(i=-119;i<-105;i++){ buf[266]=(byte)i; if(sha1_32(buf)==1945089136){break;} }
		for(i=16;i<23;i++){ buf[267]=(byte)i; if(sha1_32(buf)==-741736774){break;} }
		for(i=-115;i<-92;i++){ buf[268]=(byte)i; if(sha1_32(buf)==425471915){break;} }
		for(i=56;i<62;i++){ buf[269]=(byte)i; if(sha1_32(buf)==8024222){break;} }
		for(i=123;i<128;i++){ buf[270]=(byte)i; if(sha1_32(buf)==220028883){break;} }
		for(i=-84;i<-72;i++){ buf[271]=(byte)i; if(sha1_32(buf)==-1076673442){break;} }
		for(i=-53;i<-48;i++){ buf[272]=(byte)i; if(sha1_32(buf)==560725812){break;} }
		for(i=-27;i<-7;i++){ buf[273]=(byte)i; if(sha1_32(buf)==1712138912){break;} }
		for(i=47;i<67;i++){ buf[274]=(byte)i; if(sha1_32(buf)==-193788852){break;} }
		for(i=60;i<83;i++){ buf[275]=(byte)i; if(sha1_32(buf)==2093762385){break;} }
		for(i=-120;i<-92;i++){ buf[276]=(byte)i; if(sha1_32(buf)==-843066826){break;} }
		for(i=45;i<61;i++){ buf[277]=(byte)i; if(sha1_32(buf)==565797653){break;} }
		for(i=-45;i<-21;i++){ buf[278]=(byte)i; if(sha1_32(buf)==1164587450){break;} }
		for(i=-33;i<-26;i++){ buf[279]=(byte)i; if(sha1_32(buf)==1987882516){break;} }
		for(i=88;i<95;i++){ buf[280]=(byte)i; if(sha1_32(buf)==1051520568){break;} }
		for(i=47;i<61;i++){ buf[281]=(byte)i; if(sha1_32(buf)==2051808210){break;} }
		for(i=21;i<42;i++){ buf[282]=(byte)i; if(sha1_32(buf)==1629949565){break;} }
		for(i=-75;i<-58;i++){ buf[283]=(byte)i; if(sha1_32(buf)==912862503){break;} }
		for(i=22;i<29;i++){ buf[284]=(byte)i; if(sha1_32(buf)==-1257656933){break;} }
		for(i=11;i<28;i++){ buf[285]=(byte)i; if(sha1_32(buf)==1542605105){break;} }
		for(i=2;i<19;i++){ buf[286]=(byte)i; if(sha1_32(buf)==905866897){break;} }
		for(i=-13;i<1;i++){ buf[287]=(byte)i; if(sha1_32(buf)==-1611313953){break;} }
		for(i=-94;i<-78;i++){ buf[288]=(byte)i; if(sha1_32(buf)==-19119344){break;} }
		for(i=-96;i<-90;i++){ buf[289]=(byte)i; if(sha1_32(buf)==1425882260){break;} }
		for(i=-125;i<-110;i++){ buf[290]=(byte)i; if(sha1_32(buf)==86265669){break;} }
		for(i=-124;i<-99;i++){ buf[291]=(byte)i; if(sha1_32(buf)==2112469278){break;} }
		for(i=-83;i<-59;i++){ buf[292]=(byte)i; if(sha1_32(buf)==1968171228){break;} }
		for(i=-13;i<4;i++){ buf[293]=(byte)i; if(sha1_32(buf)==121869244){break;} }
		for(i=-118;i<-104;i++){ buf[294]=(byte)i; if(sha1_32(buf)==1408520468){break;} }
		for(i=-23;i<-4;i++){ buf[295]=(byte)i; if(sha1_32(buf)==-1837627285){break;} }
		for(i=-19;i<-8;i++){ buf[296]=(byte)i; if(sha1_32(buf)==500088232){break;} }
		for(i=-103;i<-99;i++){ buf[297]=(byte)i; if(sha1_32(buf)==459428458){break;} }
		for(i=83;i<100;i++){ buf[298]=(byte)i; if(sha1_32(buf)==-521040484){break;} }
		for(i=-55;i<-52;i++){ buf[299]=(byte)i; if(sha1_32(buf)==1901999744){break;} }
		for(i=-25;i<-2;i++){ buf[300]=(byte)i; if(sha1_32(buf)==2058442452){break;} }
		for(i=46;i<61;i++){ buf[301]=(byte)i; if(sha1_32(buf)==-680549668){break;} }
		for(i=-82;i<-59;i++){ buf[302]=(byte)i; if(sha1_32(buf)==435827372){break;} }
		for(i=62;i<79;i++){ buf[303]=(byte)i; if(sha1_32(buf)==1762420914){break;} }
		for(i=-23;i<-6;i++){ buf[304]=(byte)i; if(sha1_32(buf)==-657416411){break;} }
		for(i=91;i<109;i++){ buf[305]=(byte)i; if(sha1_32(buf)==2021140058){break;} }
		for(i=-62;i<-43;i++){ buf[306]=(byte)i; if(sha1_32(buf)==-297694134){break;} }
		for(i=-26;i<-2;i++){ buf[307]=(byte)i; if(sha1_32(buf)==-1934285083){break;} }
		for(i=115;i<128;i++){ buf[308]=(byte)i; if(sha1_32(buf)==-719873506){break;} }
		for(i=-114;i<-107;i++){ buf[309]=(byte)i; if(sha1_32(buf)==475735050){break;} }
		for(i=46;i<56;i++){ buf[310]=(byte)i; if(sha1_32(buf)==1121149010){break;} }
		for(i=27;i<36;i++){ buf[311]=(byte)i; if(sha1_32(buf)==-1096345944){break;} }
		for(i=46;i<59;i++){ buf[312]=(byte)i; if(sha1_32(buf)==-2083303658){break;} }
		for(i=-128;i<-103;i++){ buf[313]=(byte)i; if(sha1_32(buf)==54131852){break;} }
		for(i=91;i<120;i++){ buf[314]=(byte)i; if(sha1_32(buf)==644204652){break;} }
		for(i=-20;i<-5;i++){ buf[315]=(byte)i; if(sha1_32(buf)==1377902265){break;} }
		for(i=23;i<44;i++){ buf[316]=(byte)i; if(sha1_32(buf)==-400859419){break;} }
		for(i=8;i<24;i++){ buf[317]=(byte)i; if(sha1_32(buf)==-1259640614){break;} }
		for(i=88;i<96;i++){ buf[318]=(byte)i; if(sha1_32(buf)==606708758){break;} }
		for(i=-56;i<-42;i++){ buf[319]=(byte)i; if(sha1_32(buf)==-2122535703){break;} }
		for(i=-27;i<-18;i++){ buf[320]=(byte)i; if(sha1_32(buf)==-1374683353){break;} }
		for(i=-65;i<-35;i++){ buf[321]=(byte)i; if(sha1_32(buf)==-68952897){break;} }
		for(i=-16;i<3;i++){ buf[322]=(byte)i; if(sha1_32(buf)==226658548){break;} }
		for(i=71;i<92;i++){ buf[323]=(byte)i; if(sha1_32(buf)==-1291145546){break;} }
		for(i=-119;i<-106;i++){ buf[324]=(byte)i; if(sha1_32(buf)==-623705939){break;} }
		for(i=-30;i<-17;i++){ buf[325]=(byte)i; if(sha1_32(buf)==407825134){break;} }
		for(i=-63;i<-56;i++){ buf[326]=(byte)i; if(sha1_32(buf)==1725575110){break;} }
		for(i=-105;i<-76;i++){ buf[327]=(byte)i; if(sha1_32(buf)==-134011723){break;} }
		for(i=-13;i<4;i++){ buf[328]=(byte)i; if(sha1_32(buf)==1189386725){break;} }
		for(i=-61;i<-43;i++){ buf[329]=(byte)i; if(sha1_32(buf)==1371409772){break;} }
		for(i=0;i<16;i++){ buf[330]=(byte)i; if(sha1_32(buf)==-1194508271){break;} }
		for(i=-15;i<5;i++){ buf[331]=(byte)i; if(sha1_32(buf)==203455246){break;} }
		for(i=-80;i<-62;i++){ buf[332]=(byte)i; if(sha1_32(buf)==-2091158160){break;} }
		for(i=-57;i<-54;i++){ buf[333]=(byte)i; if(sha1_32(buf)==-1615081193){break;} }
		for(i=-97;i<-81;i++){ buf[334]=(byte)i; if(sha1_32(buf)==1378914053){break;} }
		for(i=-77;i<-59;i++){ buf[335]=(byte)i; if(sha1_32(buf)==161985523){break;} }
		for(i=-98;i<-77;i++){ buf[336]=(byte)i; if(sha1_32(buf)==-1552092436){break;} }
		for(i=32;i<54;i++){ buf[337]=(byte)i; if(sha1_32(buf)==-338363569){break;} }
		for(i=-79;i<-58;i++){ buf[338]=(byte)i; if(sha1_32(buf)==706080954){break;} }
		for(i=-127;i<-120;i++){ buf[339]=(byte)i; if(sha1_32(buf)==-2109833426){break;} }
		for(i=55;i<74;i++){ buf[340]=(byte)i; if(sha1_32(buf)==-311980187){break;} }
		for(i=-74;i<-60;i++){ buf[341]=(byte)i; if(sha1_32(buf)==1489153316){break;} }
		for(i=-78;i<-62;i++){ buf[342]=(byte)i; if(sha1_32(buf)==-1183850535){break;} }
		for(i=29;i<43;i++){ buf[343]=(byte)i; if(sha1_32(buf)==-446510325){break;} }
		for(i=-83;i<-73;i++){ buf[344]=(byte)i; if(sha1_32(buf)==1585130525){break;} }
		for(i=6;i<23;i++){ buf[345]=(byte)i; if(sha1_32(buf)==-179652722){break;} }
		for(i=-12;i<13;i++){ buf[346]=(byte)i; if(sha1_32(buf)==812277789){break;} }
		for(i=67;i<82;i++){ buf[347]=(byte)i; if(sha1_32(buf)==144282742){break;} }
		for(i=58;i<65;i++){ buf[348]=(byte)i; if(sha1_32(buf)==833702172){break;} }
		for(i=-41;i<-20;i++){ buf[349]=(byte)i; if(sha1_32(buf)==1991222087){break;} }
		for(i=55;i<65;i++){ buf[350]=(byte)i; if(sha1_32(buf)==825443707){break;} }
		for(i=39;i<62;i++){ buf[351]=(byte)i; if(sha1_32(buf)==2047281843){break;} }
		for(i=-8;i<9;i++){ buf[352]=(byte)i; if(sha1_32(buf)==613190734){break;} }
		for(i=-58;i<-50;i++){ buf[353]=(byte)i; if(sha1_32(buf)==-1342503641){break;} }
		for(i=-115;i<-102;i++){ buf[354]=(byte)i; if(sha1_32(buf)==641360820){break;} }
		for(i=-29;i<-16;i++){ buf[355]=(byte)i; if(sha1_32(buf)==-232852544){break;} }
		for(i=41;i<52;i++){ buf[356]=(byte)i; if(sha1_32(buf)==459349400){break;} }
		for(i=-93;i<-76;i++){ buf[357]=(byte)i; if(sha1_32(buf)==110748970){break;} }
		for(i=-77;i<-68;i++){ buf[358]=(byte)i; if(sha1_32(buf)==-1666585935){break;} }
		for(i=-64;i<-57;i++){ buf[359]=(byte)i; if(sha1_32(buf)==2042523774){break;} }
		for(i=-79;i<-59;i++){ buf[360]=(byte)i; if(sha1_32(buf)==-590918651){break;} }
		for(i=36;i<42;i++){ buf[361]=(byte)i; if(sha1_32(buf)==109397537){break;} }
		for(i=-87;i<-72;i++){ buf[362]=(byte)i; if(sha1_32(buf)==-1031780491){break;} }
		for(i=108;i<115;i++){ buf[363]=(byte)i; if(sha1_32(buf)==-1707491870){break;} }
		for(i=51;i<55;i++){ buf[364]=(byte)i; if(sha1_32(buf)==-2080961488){break;} }
		for(i=-14;i<3;i++){ buf[365]=(byte)i; if(sha1_32(buf)==-301003060){break;} }
		for(i=-122;i<-112;i++){ buf[366]=(byte)i; if(sha1_32(buf)==-1513195752){break;} }
		for(i=-93;i<-75;i++){ buf[367]=(byte)i; if(sha1_32(buf)==301220792){break;} }
		for(i=-120;i<-113;i++){ buf[368]=(byte)i; if(sha1_32(buf)==1727375485){break;} }
		for(i=-128;i<-116;i++){ buf[369]=(byte)i; if(sha1_32(buf)==403939834){break;} }
		for(i=32;i<47;i++){ buf[370]=(byte)i; if(sha1_32(buf)==-182290238){break;} }
		for(i=-29;i<-13;i++){ buf[371]=(byte)i; if(sha1_32(buf)==-1124526331){break;} }
		for(i=-33;i<-14;i++){ buf[372]=(byte)i; if(sha1_32(buf)==33630702){break;} }
		for(i=-23;i<-16;i++){ buf[373]=(byte)i; if(sha1_32(buf)==-667779163){break;} }
		for(i=38;i<50;i++){ buf[374]=(byte)i; if(sha1_32(buf)==1409498090){break;} }
		for(i=-97;i<-73;i++){ buf[375]=(byte)i; if(sha1_32(buf)==-1160701143){break;} }
		for(i=-56;i<-34;i++){ buf[376]=(byte)i; if(sha1_32(buf)==-226996516){break;} }
		for(i=-16;i<-2;i++){ buf[377]=(byte)i; if(sha1_32(buf)==1426920886){break;} }
		for(i=-62;i<-51;i++){ buf[378]=(byte)i; if(sha1_32(buf)==253397861){break;} }
		for(i=-114;i<-103;i++){ buf[379]=(byte)i; if(sha1_32(buf)==-1440891737){break;} }
		for(i=-83;i<-64;i++){ buf[380]=(byte)i; if(sha1_32(buf)==-33380942){break;} }
		for(i=90;i<112;i++){ buf[381]=(byte)i; if(sha1_32(buf)==-547840917){break;} }
		for(i=-55;i<-47;i++){ buf[382]=(byte)i; if(sha1_32(buf)==-151075644){break;} }
		for(i=-91;i<-69;i++){ buf[383]=(byte)i; if(sha1_32(buf)==1309174406){break;} }
		for(i=89;i<101;i++){ buf[384]=(byte)i; if(sha1_32(buf)==-304889827){break;} }
		for(i=10;i<32;i++){ buf[385]=(byte)i; if(sha1_32(buf)==-2080462103){break;} }
		for(i=117;i<123;i++){ buf[386]=(byte)i; if(sha1_32(buf)==798760894){break;} }
		for(i=13;i<33;i++){ buf[387]=(byte)i; if(sha1_32(buf)==-1821801875){break;} }
		for(i=-111;i<-93;i++){ buf[388]=(byte)i; if(sha1_32(buf)==1888298849){break;} }
		for(i=-42;i<-35;i++){ buf[389]=(byte)i; if(sha1_32(buf)==-1327302947){break;} }
		for(i=-11;i<6;i++){ buf[390]=(byte)i; if(sha1_32(buf)==1186447655){break;} }
		for(i=103;i<127;i++){ buf[391]=(byte)i; if(sha1_32(buf)==-2045802272){break;} }
		for(i=-90;i<-65;i++){ buf[392]=(byte)i; if(sha1_32(buf)==-437841319){break;} }
		for(i=114;i<125;i++){ buf[393]=(byte)i; if(sha1_32(buf)==2050559309){break;} }
		for(i=-49;i<-34;i++){ buf[394]=(byte)i; if(sha1_32(buf)==-475504844){break;} }
		for(i=88;i<104;i++){ buf[395]=(byte)i; if(sha1_32(buf)==-1332202997){break;} }
		for(i=-92;i<-77;i++){ buf[396]=(byte)i; if(sha1_32(buf)==-351607740){break;} }
		for(i=-29;i<-17;i++){ buf[397]=(byte)i; if(sha1_32(buf)==-15635321){break;} }
		for(i=39;i<52;i++){ buf[398]=(byte)i; if(sha1_32(buf)==-1442183335){break;} }
		for(i=-51;i<-36;i++){ buf[399]=(byte)i; if(sha1_32(buf)==-152185861){break;} }
		for(i=-2;i<26;i++){ buf[400]=(byte)i; if(sha1_32(buf)==624407877){break;} }
		for(i=-51;i<-32;i++){ buf[401]=(byte)i; if(sha1_32(buf)==90894866){break;} }
		for(i=-35;i<-29;i++){ buf[402]=(byte)i; if(sha1_32(buf)==-30765185){break;} }
		for(i=115;i<126;i++){ buf[403]=(byte)i; if(sha1_32(buf)==-1423263700){break;} }
		for(i=47;i<60;i++){ buf[404]=(byte)i; if(sha1_32(buf)==-385426014){break;} }
		for(i=-116;i<-100;i++){ buf[405]=(byte)i; if(sha1_32(buf)==2071459584){break;} }
		for(i=-32;i<-15;i++){ buf[406]=(byte)i; if(sha1_32(buf)==-1499390663){break;} }
		for(i=-30;i<-26;i++){ buf[407]=(byte)i; if(sha1_32(buf)==-801194338){break;} }
		for(i=109;i<128;i++){ buf[408]=(byte)i; if(sha1_32(buf)==1438811946){break;} }
		for(i=108;i<115;i++){ buf[409]=(byte)i; if(sha1_32(buf)==-557885349){break;} }
		for(i=-70;i<-64;i++){ buf[410]=(byte)i; if(sha1_32(buf)==441404535){break;} }
		for(i=70;i<89;i++){ buf[411]=(byte)i; if(sha1_32(buf)==438735541){break;} }
		for(i=-114;i<-89;i++){ buf[412]=(byte)i; if(sha1_32(buf)==-390560733){break;} }
		for(i=3;i<19;i++){ buf[413]=(byte)i; if(sha1_32(buf)==581400765){break;} }
		for(i=4;i<19;i++){ buf[414]=(byte)i; if(sha1_32(buf)==766220260){break;} }
		for(i=-1;i<6;i++){ buf[415]=(byte)i; if(sha1_32(buf)==766220260){break;} }
		for(i=-100;i<-79;i++){ buf[416]=(byte)i; if(sha1_32(buf)==1792455466){break;} }
		for(i=-27;i<-18;i++){ buf[417]=(byte)i; if(sha1_32(buf)==1534059206){break;} }
		for(i=-115;i<-108;i++){ buf[418]=(byte)i; if(sha1_32(buf)==1528238743){break;} }
		for(i=-83;i<-78;i++){ buf[419]=(byte)i; if(sha1_32(buf)==1831712098){break;} }
		for(i=68;i<91;i++){ buf[420]=(byte)i; if(sha1_32(buf)==1018744644){break;} }
		for(i=-65;i<-50;i++){ buf[421]=(byte)i; if(sha1_32(buf)==-668125598){break;} }
		for(i=-128;i<-115;i++){ buf[422]=(byte)i; if(sha1_32(buf)==-1678002307){break;} }
		for(i=-107;i<-87;i++){ buf[423]=(byte)i; if(sha1_32(buf)==-1675126490){break;} }
		for(i=-47;i<-23;i++){ buf[424]=(byte)i; if(sha1_32(buf)==-1816034076){break;} }
		for(i=-14;i<-5;i++){ buf[425]=(byte)i; if(sha1_32(buf)==-886157663){break;} }
		for(i=0;i<12;i++){ buf[426]=(byte)i; if(sha1_32(buf)==1030026070){break;} }
		for(i=115;i<124;i++){ buf[427]=(byte)i; if(sha1_32(buf)==-1045938532){break;} }
		for(i=-109;i<-103;i++){ buf[428]=(byte)i; if(sha1_32(buf)==1340714880){break;} }
		for(i=-73;i<-50;i++){ buf[429]=(byte)i; if(sha1_32(buf)==-1928796668){break;} }
		for(i=-1;i<22;i++){ buf[430]=(byte)i; if(sha1_32(buf)==-327069606){break;} }
		for(i=-30;i<-16;i++){ buf[431]=(byte)i; if(sha1_32(buf)==-1022525835){break;} }
		for(i=-81;i<-65;i++){ buf[432]=(byte)i; if(sha1_32(buf)==-1809795130){break;} }
		for(i=51;i<68;i++){ buf[433]=(byte)i; if(sha1_32(buf)==1678431934){break;} }
		for(i=68;i<80;i++){ buf[434]=(byte)i; if(sha1_32(buf)==-1578948595){break;} }
		for(i=-49;i<-30;i++){ buf[435]=(byte)i; if(sha1_32(buf)==829321487){break;} }
		for(i=1;i<16;i++){ buf[436]=(byte)i; if(sha1_32(buf)==991871405){break;} }
		for(i=-65;i<-63;i++){ buf[437]=(byte)i; if(sha1_32(buf)==-2022331183){break;} }
		for(i=-59;i<-47;i++){ buf[438]=(byte)i; if(sha1_32(buf)==1844860725){break;} }
		for(i=-79;i<-70;i++){ buf[439]=(byte)i; if(sha1_32(buf)==-1542620501){break;} }
		for(i=8;i<38;i++){ buf[440]=(byte)i; if(sha1_32(buf)==-922028347){break;} }
		for(i=8;i<16;i++){ buf[441]=(byte)i; if(sha1_32(buf)==838500549){break;} }
		for(i=65;i<77;i++){ buf[442]=(byte)i; if(sha1_32(buf)==757831524){break;} }
		for(i=-27;i<-14;i++){ buf[443]=(byte)i; if(sha1_32(buf)==978274003){break;} }
		for(i=-70;i<-53;i++){ buf[444]=(byte)i; if(sha1_32(buf)==-1591490990){break;} }
		for(i=-5;i<5;i++){ buf[445]=(byte)i; if(sha1_32(buf)==2097428519){break;} }
		for(i=-45;i<-26;i++){ buf[446]=(byte)i; if(sha1_32(buf)==-1703805380){break;} }
		for(i=18;i<41;i++){ buf[447]=(byte)i; if(sha1_32(buf)==1189807993){break;} }
		for(i=-3;i<23;i++){ buf[448]=(byte)i; if(sha1_32(buf)==1481291994){break;} }
		for(i=-7;i<6;i++){ buf[449]=(byte)i; if(sha1_32(buf)==-990566127){break;} }
		for(i=116;i<128;i++){ buf[450]=(byte)i; if(sha1_32(buf)==-1293900889){break;} }
		for(i=-94;i<-80;i++){ buf[451]=(byte)i; if(sha1_32(buf)==-1492058132){break;} }
		for(i=-119;i<-110;i++){ buf[452]=(byte)i; if(sha1_32(buf)==-347311674){break;} }
		for(i=43;i<56;i++){ buf[453]=(byte)i; if(sha1_32(buf)==-18798913){break;} }
		for(i=-72;i<-56;i++){ buf[454]=(byte)i; if(sha1_32(buf)==-1416228304){break;} }
		for(i=-87;i<-71;i++){ buf[455]=(byte)i; if(sha1_32(buf)==554565081){break;} }
		for(i=81;i<99;i++){ buf[456]=(byte)i; if(sha1_32(buf)==-74682994){break;} }
		for(i=59;i<75;i++){ buf[457]=(byte)i; if(sha1_32(buf)==1101832078){break;} }
		for(i=120;i<128;i++){ buf[458]=(byte)i; if(sha1_32(buf)==447647351){break;} }
		for(i=88;i<107;i++){ buf[459]=(byte)i; if(sha1_32(buf)==-552949500){break;} }
		for(i=5;i<20;i++){ buf[460]=(byte)i; if(sha1_32(buf)==-770884044){break;} }
		for(i=-114;i<-92;i++){ buf[461]=(byte)i; if(sha1_32(buf)==-918532537){break;} }
		for(i=18;i<40;i++){ buf[462]=(byte)i; if(sha1_32(buf)==343202234){break;} }
		for(i=-89;i<-69;i++){ buf[463]=(byte)i; if(sha1_32(buf)==1375758106){break;} }
		for(i=57;i<72;i++){ buf[464]=(byte)i; if(sha1_32(buf)==1276364962){break;} }
		for(i=28;i<47;i++){ buf[465]=(byte)i; if(sha1_32(buf)==2070000293){break;} }
		for(i=-39;i<-33;i++){ buf[466]=(byte)i; if(sha1_32(buf)==8976733){break;} }
		for(i=113;i<127;i++){ buf[467]=(byte)i; if(sha1_32(buf)==1757333290){break;} }
		for(i=-119;i<-97;i++){ buf[468]=(byte)i; if(sha1_32(buf)==-496928422){break;} }
		for(i=-33;i<-25;i++){ buf[469]=(byte)i; if(sha1_32(buf)==1656623809){break;} }
		for(i=119;i<128;i++){ buf[470]=(byte)i; if(sha1_32(buf)==2049160948){break;} }
		for(i=119;i<123;i++){ buf[471]=(byte)i; if(sha1_32(buf)==-235550997){break;} }
		for(i=-77;i<-59;i++){ buf[472]=(byte)i; if(sha1_32(buf)==1827340160){break;} }
		for(i=51;i<66;i++){ buf[473]=(byte)i; if(sha1_32(buf)==1244902724){break;} }
		for(i=-6;i<11;i++){ buf[474]=(byte)i; if(sha1_32(buf)==-1682758383){break;} }
		for(i=-78;i<-57;i++){ buf[475]=(byte)i; if(sha1_32(buf)==1277293007){break;} }
		for(i=-64;i<-49;i++){ buf[476]=(byte)i; if(sha1_32(buf)==791460266){break;} }
		for(i=-128;i<-106;i++){ buf[477]=(byte)i; if(sha1_32(buf)==1542161259){break;} }
		for(i=-63;i<-41;i++){ buf[478]=(byte)i; if(sha1_32(buf)==-2089319782){break;} }
		for(i=-62;i<-34;i++){ buf[479]=(byte)i; if(sha1_32(buf)==1459446785){break;} }
		for(i=-128;i<-120;i++){ buf[480]=(byte)i; if(sha1_32(buf)==-1007225103){break;} }
		for(i=45;i<69;i++){ buf[481]=(byte)i; if(sha1_32(buf)==-1193641880){break;} }
		for(i=5;i<20;i++){ buf[482]=(byte)i; if(sha1_32(buf)==1619615427){break;} }
		for(i=-31;i<-16;i++){ buf[483]=(byte)i; if(sha1_32(buf)==-457569074){break;} }
		for(i=82;i<94;i++){ buf[484]=(byte)i; if(sha1_32(buf)==1761660997){break;} }
		for(i=102;i<114;i++){ buf[485]=(byte)i; if(sha1_32(buf)==1957267198){break;} }
		for(i=57;i<84;i++){ buf[486]=(byte)i; if(sha1_32(buf)==-1122447124){break;} }
		for(i=104;i<115;i++){ buf[487]=(byte)i; if(sha1_32(buf)==-1644832660){break;} }
		for(i=107;i<123;i++){ buf[488]=(byte)i; if(sha1_32(buf)==-1080808945){break;} }
		for(i=-78;i<-53;i++){ buf[489]=(byte)i; if(sha1_32(buf)==-964103607){break;} }
		for(i=-128;i<-113;i++){ buf[490]=(byte)i; if(sha1_32(buf)==-1930898171){break;} }
		for(i=96;i<110;i++){ buf[491]=(byte)i; if(sha1_32(buf)==1581475838){break;} }
		for(i=-7;i<15;i++){ buf[492]=(byte)i; if(sha1_32(buf)==823989678){break;} }
		for(i=31;i<46;i++){ buf[493]=(byte)i; if(sha1_32(buf)==-866651109){break;} }
		for(i=-123;i<-115;i++){ buf[494]=(byte)i; if(sha1_32(buf)==616440433){break;} }
		for(i=81;i<97;i++){ buf[495]=(byte)i; if(sha1_32(buf)==1366065147){break;} }
		for(i=-59;i<-53;i++){ buf[496]=(byte)i; if(sha1_32(buf)==1750135211){break;} }
		for(i=-65;i<-53;i++){ buf[497]=(byte)i; if(sha1_32(buf)==1491397648){break;} }
		for(i=55;i<67;i++){ buf[498]=(byte)i; if(sha1_32(buf)==-217060313){break;} }
		for(i=-2;i<15;i++){ buf[499]=(byte)i; if(sha1_32(buf)==2113316654){break;} }
		for(i=67;i<73;i++){ buf[500]=(byte)i; if(sha1_32(buf)==1717394302){break;} }
		for(i=119;i<128;i++){ buf[501]=(byte)i; if(sha1_32(buf)==1078272400){break;} }
		for(i=96;i<111;i++){ buf[502]=(byte)i; if(sha1_32(buf)==1640368841){break;} }
		for(i=29;i<46;i++){ buf[503]=(byte)i; if(sha1_32(buf)==-2126432758){break;} }
		for(i=125;i<128;i++){ buf[504]=(byte)i; if(sha1_32(buf)==-847477256){break;} }
		for(i=12;i<21;i++){ buf[505]=(byte)i; if(sha1_32(buf)==24883171){break;} }
		for(i=-119;i<-109;i++){ buf[506]=(byte)i; if(sha1_32(buf)==671577508){break;} }
		for(i=-77;i<-61;i++){ buf[507]=(byte)i; if(sha1_32(buf)==-910241213){break;} }
		for(i=26;i<38;i++){ buf[508]=(byte)i; if(sha1_32(buf)==1768239593){break;} }
		for(i=85;i<105;i++){ buf[509]=(byte)i; if(sha1_32(buf)==-1253890975){break;} }
		for(i=-15;i<0;i++){ buf[510]=(byte)i; if(sha1_32(buf)==229090564){break;} }
		for(i=-107;i<-90;i++){ buf[511]=(byte)i; if(sha1_32(buf)==-737579230){break;} }
		for(i=-103;i<-88;i++){ buf[512]=(byte)i; if(sha1_32(buf)==-46790186){break;} }
		for(i=-119;i<-109;i++){ buf[513]=(byte)i; if(sha1_32(buf)==-188874780){break;} }
		for(i=-86;i<-73;i++){ buf[514]=(byte)i; if(sha1_32(buf)==394177286){break;} }
		for(i=-123;i<-117;i++){ buf[515]=(byte)i; if(sha1_32(buf)==-1758636131){break;} }
		for(i=-73;i<-48;i++){ buf[516]=(byte)i; if(sha1_32(buf)==1064332946){break;} }
		for(i=81;i<100;i++){ buf[517]=(byte)i; if(sha1_32(buf)==1451667263){break;} }
		for(i=-39;i<-9;i++){ buf[518]=(byte)i; if(sha1_32(buf)==-358349127){break;} }
		for(i=-18;i<-5;i++){ buf[519]=(byte)i; if(sha1_32(buf)==711909353){break;} }
		for(i=-66;i<-50;i++){ buf[520]=(byte)i; if(sha1_32(buf)==1172620796){break;} }
		for(i=-92;i<-65;i++){ buf[521]=(byte)i; if(sha1_32(buf)==-2071358568){break;} }
		for(i=14;i<43;i++){ buf[522]=(byte)i; if(sha1_32(buf)==-2077292878){break;} }
		for(i=110;i<128;i++){ buf[523]=(byte)i; if(sha1_32(buf)==-1063489537){break;} }
		for(i=-34;i<-28;i++){ buf[524]=(byte)i; if(sha1_32(buf)==-864523420){break;} }
		for(i=34;i<48;i++){ buf[525]=(byte)i; if(sha1_32(buf)==286751813){break;} }
		for(i=-128;i<-121;i++){ buf[526]=(byte)i; if(sha1_32(buf)==-1366312778){break;} }
		for(i=-72;i<-52;i++){ buf[527]=(byte)i; if(sha1_32(buf)==-1161170257){break;} }
		for(i=-29;i<-14;i++){ buf[528]=(byte)i; if(sha1_32(buf)==1191979646){break;} }
		for(i=-35;i<-11;i++){ buf[529]=(byte)i; if(sha1_32(buf)==-1089838724){break;} }
		for(i=17;i<40;i++){ buf[530]=(byte)i; if(sha1_32(buf)==-1666801316){break;} }
		for(i=-79;i<-62;i++){ buf[531]=(byte)i; if(sha1_32(buf)==-444509786){break;} }
		for(i=43;i<73;i++){ buf[532]=(byte)i; if(sha1_32(buf)==993226730){break;} }
		for(i=-84;i<-77;i++){ buf[533]=(byte)i; if(sha1_32(buf)==2060646420){break;} }
		for(i=60;i<76;i++){ buf[534]=(byte)i; if(sha1_32(buf)==70605534){break;} }
		for(i=-128;i<-113;i++){ buf[535]=(byte)i; if(sha1_32(buf)==1647802896){break;} }
		for(i=11;i<29;i++){ buf[536]=(byte)i; if(sha1_32(buf)==361061209){break;} }
		for(i=-12;i<4;i++){ buf[537]=(byte)i; if(sha1_32(buf)==-1550256751){break;} }
		for(i=-128;i<-113;i++){ buf[538]=(byte)i; if(sha1_32(buf)==-449033669){break;} }
		for(i=23;i<37;i++){ buf[539]=(byte)i; if(sha1_32(buf)==-162879668){break;} }
		for(i=72;i<90;i++){ buf[540]=(byte)i; if(sha1_32(buf)==226381163){break;} }
		for(i=-36;i<-20;i++){ buf[541]=(byte)i; if(sha1_32(buf)==-1704900446){break;} }
		for(i=-70;i<-56;i++){ buf[542]=(byte)i; if(sha1_32(buf)==665943222){break;} }
		for(i=35;i<38;i++){ buf[543]=(byte)i; if(sha1_32(buf)==-794785057){break;} }
		for(i=52;i<59;i++){ buf[544]=(byte)i; if(sha1_32(buf)==913526183){break;} }
		for(i=-59;i<-50;i++){ buf[545]=(byte)i; if(sha1_32(buf)==1235131409){break;} }
		for(i=106;i<127;i++){ buf[546]=(byte)i; if(sha1_32(buf)==1276652265){break;} }
		for(i=-102;i<-74;i++){ buf[547]=(byte)i; if(sha1_32(buf)==1426239545){break;} }
		for(i=-15;i<-7;i++){ buf[548]=(byte)i; if(sha1_32(buf)==1381208582){break;} }
		for(i=99;i<110;i++){ buf[549]=(byte)i; if(sha1_32(buf)==752709187){break;} }
		for(i=-54;i<-42;i++){ buf[550]=(byte)i; if(sha1_32(buf)==754071853){break;} }
		for(i=-128;i<-107;i++){ buf[551]=(byte)i; if(sha1_32(buf)==-685477978){break;} }
		for(i=-54;i<-36;i++){ buf[552]=(byte)i; if(sha1_32(buf)==252115667){break;} }
		for(i=-10;i<-1;i++){ buf[553]=(byte)i; if(sha1_32(buf)==-1413688773){break;} }
		for(i=-40;i<-26;i++){ buf[554]=(byte)i; if(sha1_32(buf)==649520318){break;} }
		for(i=-76;i<-56;i++){ buf[555]=(byte)i; if(sha1_32(buf)==-2092205985){break;} }
		for(i=79;i<108;i++){ buf[556]=(byte)i; if(sha1_32(buf)==-877332098){break;} }
		for(i=104;i<115;i++){ buf[557]=(byte)i; if(sha1_32(buf)==1508902672){break;} }
		for(i=23;i<39;i++){ buf[558]=(byte)i; if(sha1_32(buf)==-1316750577){break;} }
		for(i=43;i<59;i++){ buf[559]=(byte)i; if(sha1_32(buf)==610037509){break;} }
		for(i=-7;i<8;i++){ buf[560]=(byte)i; if(sha1_32(buf)==1254355535){break;} }
		for(i=-1;i<17;i++){ buf[561]=(byte)i; if(sha1_32(buf)==-863159618){break;} }
		for(i=-98;i<-90;i++){ buf[562]=(byte)i; if(sha1_32(buf)==1083558152){break;} }
		for(i=-80;i<-73;i++){ buf[563]=(byte)i; if(sha1_32(buf)==1920098040){break;} }
		for(i=106;i<128;i++){ buf[564]=(byte)i; if(sha1_32(buf)==1284507697){break;} }
		for(i=-62;i<-50;i++){ buf[565]=(byte)i; if(sha1_32(buf)==845405836){break;} }
		for(i=-10;i<15;i++){ buf[566]=(byte)i; if(sha1_32(buf)==-1111634401){break;} }
		for(i=17;i<24;i++){ buf[567]=(byte)i; if(sha1_32(buf)==773171673){break;} }
		for(i=-93;i<-74;i++){ buf[568]=(byte)i; if(sha1_32(buf)==-783864920){break;} }
		for(i=-3;i<4;i++){ buf[569]=(byte)i; if(sha1_32(buf)==-1369146955){break;} }
		for(i=87;i<107;i++){ buf[570]=(byte)i; if(sha1_32(buf)==-1606427086){break;} }
		for(i=27;i<41;i++){ buf[571]=(byte)i; if(sha1_32(buf)==1078121952){break;} }
		for(i=-40;i<-15;i++){ buf[572]=(byte)i; if(sha1_32(buf)==-1162167297){break;} }
		for(i=86;i<100;i++){ buf[573]=(byte)i; if(sha1_32(buf)==-1412348869){break;} }
		for(i=117;i<128;i++){ buf[574]=(byte)i; if(sha1_32(buf)==-830291786){break;} }
		for(i=-115;i<-93;i++){ buf[575]=(byte)i; if(sha1_32(buf)==-94550080){break;} }
		for(i=-117;i<-104;i++){ buf[576]=(byte)i; if(sha1_32(buf)==356372953){break;} }
		for(i=41;i<62;i++){ buf[577]=(byte)i; if(sha1_32(buf)==1419872659){break;} }
		for(i=64;i<89;i++){ buf[578]=(byte)i; if(sha1_32(buf)==825283520){break;} }
		for(i=-33;i<-20;i++){ buf[579]=(byte)i; if(sha1_32(buf)==-493663726){break;} }
		for(i=-30;i<-6;i++){ buf[580]=(byte)i; if(sha1_32(buf)==1890947486){break;} }
		for(i=-75;i<-51;i++){ buf[581]=(byte)i; if(sha1_32(buf)==561849524){break;} }
		for(i=55;i<72;i++){ buf[582]=(byte)i; if(sha1_32(buf)==1698980698){break;} }
		for(i=-11;i<5;i++){ buf[583]=(byte)i; if(sha1_32(buf)==678198916){break;} }
		for(i=-124;i<-110;i++){ buf[584]=(byte)i; if(sha1_32(buf)==-643282101){break;} }
		for(i=-116;i<-99;i++){ buf[585]=(byte)i; if(sha1_32(buf)==-688477566){break;} }
		for(i=100;i<107;i++){ buf[586]=(byte)i; if(sha1_32(buf)==1735850526){break;} }
		for(i=-31;i<-16;i++){ buf[587]=(byte)i; if(sha1_32(buf)==1923616424){break;} }
		for(i=45;i<69;i++){ buf[588]=(byte)i; if(sha1_32(buf)==-911837255){break;} }
		for(i=80;i<99;i++){ buf[589]=(byte)i; if(sha1_32(buf)==-435094447){break;} }
		for(i=89;i<109;i++){ buf[590]=(byte)i; if(sha1_32(buf)==-1822732880){break;} }
		for(i=-62;i<-39;i++){ buf[591]=(byte)i; if(sha1_32(buf)==915034496){break;} }
		for(i=105;i<113;i++){ buf[592]=(byte)i; if(sha1_32(buf)==-1684320215){break;} }
		for(i=32;i<48;i++){ buf[593]=(byte)i; if(sha1_32(buf)==-2002775103){break;} }
		for(i=91;i<111;i++){ buf[594]=(byte)i; if(sha1_32(buf)==-370473838){break;} }
		for(i=117;i<128;i++){ buf[595]=(byte)i; if(sha1_32(buf)==1487508718){break;} }
		for(i=-68;i<-60;i++){ buf[596]=(byte)i; if(sha1_32(buf)==2084197933){break;} }
		for(i=-14;i<10;i++){ buf[597]=(byte)i; if(sha1_32(buf)==1477589516){break;} }
		for(i=-94;i<-89;i++){ buf[598]=(byte)i; if(sha1_32(buf)==-353058656){break;} }
		for(i=64;i<73;i++){ buf[599]=(byte)i; if(sha1_32(buf)==1436309528){break;} }
		for(i=-8;i<7;i++){ buf[600]=(byte)i; if(sha1_32(buf)==-2088121883){break;} }
		for(i=-65;i<-56;i++){ buf[601]=(byte)i; if(sha1_32(buf)==-1571040376){break;} }
		for(i=18;i<33;i++){ buf[602]=(byte)i; if(sha1_32(buf)==1373649058){break;} }
		for(i=56;i<70;i++){ buf[603]=(byte)i; if(sha1_32(buf)==-1985672561){break;} }
		for(i=-114;i<-99;i++){ buf[604]=(byte)i; if(sha1_32(buf)==888557057){break;} }
		for(i=39;i<45;i++){ buf[605]=(byte)i; if(sha1_32(buf)==1868527677){break;} }
		for(i=111;i<128;i++){ buf[606]=(byte)i; if(sha1_32(buf)==-537578678){break;} }
		for(i=-24;i<-8;i++){ buf[607]=(byte)i; if(sha1_32(buf)==-1183465027){break;} }
		for(i=59;i<72;i++){ buf[608]=(byte)i; if(sha1_32(buf)==1365005025){break;} }
		for(i=107;i<119;i++){ buf[609]=(byte)i; if(sha1_32(buf)==-178855623){break;} }
		for(i=110;i<125;i++){ buf[610]=(byte)i; if(sha1_32(buf)==1907842886){break;} }
		for(i=-15;i<7;i++){ buf[611]=(byte)i; if(sha1_32(buf)==-1080184417){break;} }
		for(i=-128;i<-120;i++){ buf[612]=(byte)i; if(sha1_32(buf)==2100890056){break;} }
		for(i=-7;i<0;i++){ buf[613]=(byte)i; if(sha1_32(buf)==-1050475801){break;} }
		for(i=23;i<53;i++){ buf[614]=(byte)i; if(sha1_32(buf)==-828524035){break;} }
		for(i=-35;i<-15;i++){ buf[615]=(byte)i; if(sha1_32(buf)==-410094694){break;} }
		for(i=-33;i<-19;i++){ buf[616]=(byte)i; if(sha1_32(buf)==-1196088923){break;} }
		for(i=106;i<124;i++){ buf[617]=(byte)i; if(sha1_32(buf)==-1074315130){break;} }
		for(i=95;i<111;i++){ buf[618]=(byte)i; if(sha1_32(buf)==-2003333944){break;} }
		for(i=-110;i<-89;i++){ buf[619]=(byte)i; if(sha1_32(buf)==89072899){break;} }
		for(i=61;i<80;i++){ buf[620]=(byte)i; if(sha1_32(buf)==1225564820){break;} }
		for(i=-73;i<-65;i++){ buf[621]=(byte)i; if(sha1_32(buf)==-976109377){break;} }
		for(i=-58;i<-28;i++){ buf[622]=(byte)i; if(sha1_32(buf)==1499441728){break;} }
		for(i=-81;i<-63;i++){ buf[623]=(byte)i; if(sha1_32(buf)==-1166769073){break;} }
		for(i=40;i<62;i++){ buf[624]=(byte)i; if(sha1_32(buf)==-1985772505){break;} }
		for(i=-60;i<-44;i++){ buf[625]=(byte)i; if(sha1_32(buf)==1125399629){break;} }
		for(i=28;i<39;i++){ buf[626]=(byte)i; if(sha1_32(buf)==-1962807449){break;} }
		for(i=-31;i<-14;i++){ buf[627]=(byte)i; if(sha1_32(buf)==837477312){break;} }
		for(i=-88;i<-63;i++){ buf[628]=(byte)i; if(sha1_32(buf)==-120477128){break;} }
		for(i=-80;i<-64;i++){ buf[629]=(byte)i; if(sha1_32(buf)==1692948183){break;} }
		for(i=62;i<92;i++){ buf[630]=(byte)i; if(sha1_32(buf)==1623429918){break;} }
		for(i=-97;i<-79;i++){ buf[631]=(byte)i; if(sha1_32(buf)==1250716385){break;} }
		for(i=-74;i<-58;i++){ buf[632]=(byte)i; if(sha1_32(buf)==-1249877691){break;} }
		for(i=-22;i<-9;i++){ buf[633]=(byte)i; if(sha1_32(buf)==1751538896){break;} }
		for(i=-26;i<-3;i++){ buf[634]=(byte)i; if(sha1_32(buf)==1029249305){break;} }
		for(i=-122;i<-100;i++){ buf[635]=(byte)i; if(sha1_32(buf)==518245155){break;} }
		for(i=-29;i<-18;i++){ buf[636]=(byte)i; if(sha1_32(buf)==384327056){break;} }
		for(i=108;i<115;i++){ buf[637]=(byte)i; if(sha1_32(buf)==-772372834){break;} }
		for(i=84;i<101;i++){ buf[638]=(byte)i; if(sha1_32(buf)==-93331741){break;} }
		for(i=28;i<48;i++){ buf[639]=(byte)i; if(sha1_32(buf)==-151428225){break;} }
		for(i=108;i<128;i++){ buf[640]=(byte)i; if(sha1_32(buf)==-1314206868){break;} }
		for(i=28;i<44;i++){ buf[641]=(byte)i; if(sha1_32(buf)==-467960109){break;} }
		for(i=100;i<106;i++){ buf[642]=(byte)i; if(sha1_32(buf)==-2035008225){break;} }
		for(i=-79;i<-71;i++){ buf[643]=(byte)i; if(sha1_32(buf)==1830556212){break;} }
		for(i=-124;i<-105;i++){ buf[644]=(byte)i; if(sha1_32(buf)==-1449112639){break;} }
		for(i=-55;i<-30;i++){ buf[645]=(byte)i; if(sha1_32(buf)==1803235449){break;} }
		for(i=-19;i<-6;i++){ buf[646]=(byte)i; if(sha1_32(buf)==1878536868){break;} }
		for(i=-123;i<-94;i++){ buf[647]=(byte)i; if(sha1_32(buf)==-1930618523){break;} }
		for(i=4;i<18;i++){ buf[648]=(byte)i; if(sha1_32(buf)==1863914359){break;} }
		for(i=3;i<9;i++){ buf[649]=(byte)i; if(sha1_32(buf)==203057883){break;} }
		for(i=88;i<109;i++){ buf[650]=(byte)i; if(sha1_32(buf)==-381097643){break;} }
		for(i=24;i<39;i++){ buf[651]=(byte)i; if(sha1_32(buf)==1848881114){break;} }
		for(i=-28;i<-15;i++){ buf[652]=(byte)i; if(sha1_32(buf)==5500476){break;} }
		for(i=98;i<111;i++){ buf[653]=(byte)i; if(sha1_32(buf)==-868225166){break;} }
		for(i=-23;i<-20;i++){ buf[654]=(byte)i; if(sha1_32(buf)==-539352705){break;} }
		for(i=-97;i<-81;i++){ buf[655]=(byte)i; if(sha1_32(buf)==-1680844905){break;} }
		for(i=108;i<117;i++){ buf[656]=(byte)i; if(sha1_32(buf)==-1169603734){break;} }
		for(i=-72;i<-50;i++){ buf[657]=(byte)i; if(sha1_32(buf)==716813093){break;} }
		for(i=-37;i<-13;i++){ buf[658]=(byte)i; if(sha1_32(buf)==-1006556847){break;} }
		for(i=61;i<75;i++){ buf[659]=(byte)i; if(sha1_32(buf)==-1323759005){break;} }
		for(i=-29;i<-24;i++){ buf[660]=(byte)i; if(sha1_32(buf)==-1656948592){break;} }
		for(i=-39;i<-20;i++){ buf[661]=(byte)i; if(sha1_32(buf)==1267841788){break;} }
		for(i=21;i<45;i++){ buf[662]=(byte)i; if(sha1_32(buf)==248074133){break;} }
		for(i=-95;i<-84;i++){ buf[663]=(byte)i; if(sha1_32(buf)==74399738){break;} }
		for(i=-73;i<-57;i++){ buf[664]=(byte)i; if(sha1_32(buf)==925510103){break;} }
		for(i=-62;i<-48;i++){ buf[665]=(byte)i; if(sha1_32(buf)==-376906798){break;} }
		for(i=57;i<67;i++){ buf[666]=(byte)i; if(sha1_32(buf)==-1701706156){break;} }
		for(i=94;i<109;i++){ buf[667]=(byte)i; if(sha1_32(buf)==-120997914){break;} }
		for(i=108;i<123;i++){ buf[668]=(byte)i; if(sha1_32(buf)==-1493599578){break;} }
		for(i=26;i<42;i++){ buf[669]=(byte)i; if(sha1_32(buf)==2035128845){break;} }
		for(i=107;i<127;i++){ buf[670]=(byte)i; if(sha1_32(buf)==-1555290839){break;} }
		for(i=-57;i<-40;i++){ buf[671]=(byte)i; if(sha1_32(buf)==613763176){break;} }
		for(i=84;i<107;i++){ buf[672]=(byte)i; if(sha1_32(buf)==-820296784){break;} }
		for(i=104;i<119;i++){ buf[673]=(byte)i; if(sha1_32(buf)==-737691617){break;} }
		for(i=-91;i<-77;i++){ buf[674]=(byte)i; if(sha1_32(buf)==1139923701){break;} }
		for(i=-51;i<-38;i++){ buf[675]=(byte)i; if(sha1_32(buf)==-501955964){break;} }
		for(i=24;i<43;i++){ buf[676]=(byte)i; if(sha1_32(buf)==469030634){break;} }
		for(i=24;i<43;i++){ buf[677]=(byte)i; if(sha1_32(buf)==114453424){break;} }
		for(i=58;i<65;i++){ buf[678]=(byte)i; if(sha1_32(buf)==1014944004){break;} }
		for(i=16;i<34;i++){ buf[679]=(byte)i; if(sha1_32(buf)==1702817678){break;} }
		for(i=-63;i<-34;i++){ buf[680]=(byte)i; if(sha1_32(buf)==-1874211904){break;} }
		for(i=68;i<89;i++){ buf[681]=(byte)i; if(sha1_32(buf)==-1987090506){break;} }
		for(i=37;i<45;i++){ buf[682]=(byte)i; if(sha1_32(buf)==-1471687418){break;} }
		for(i=104;i<118;i++){ buf[683]=(byte)i; if(sha1_32(buf)==223960793){break;} }
		for(i=-52;i<-32;i++){ buf[684]=(byte)i; if(sha1_32(buf)==1630685716){break;} }
		for(i=27;i<46;i++){ buf[685]=(byte)i; if(sha1_32(buf)==-2147408026){break;} }
		for(i=71;i<80;i++){ buf[686]=(byte)i; if(sha1_32(buf)==1431070449){break;} }
		for(i=-62;i<-48;i++){ buf[687]=(byte)i; if(sha1_32(buf)==-596437954){break;} }
		for(i=63;i<87;i++){ buf[688]=(byte)i; if(sha1_32(buf)==1323540874){break;} }
		for(i=-128;i<-105;i++){ buf[689]=(byte)i; if(sha1_32(buf)==35721646){break;} }
		for(i=76;i<93;i++){ buf[690]=(byte)i; if(sha1_32(buf)==-1200503993){break;} }
		for(i=77;i<97;i++){ buf[691]=(byte)i; if(sha1_32(buf)==420316268){break;} }
		for(i=121;i<123;i++){ buf[692]=(byte)i; if(sha1_32(buf)==-357774900){break;} }
		for(i=107;i<113;i++){ buf[693]=(byte)i; if(sha1_32(buf)==-379408530){break;} }
		for(i=16;i<35;i++){ buf[694]=(byte)i; if(sha1_32(buf)==1751748243){break;} }
		for(i=51;i<59;i++){ buf[695]=(byte)i; if(sha1_32(buf)==-636167623){break;} }
		for(i=9;i<29;i++){ buf[696]=(byte)i; if(sha1_32(buf)==2083200606){break;} }
		for(i=69;i<91;i++){ buf[697]=(byte)i; if(sha1_32(buf)==-279920536){break;} }
		for(i=82;i<96;i++){ buf[698]=(byte)i; if(sha1_32(buf)==-1537828940){break;} }
		for(i=-10;i<1;i++){ buf[699]=(byte)i; if(sha1_32(buf)==905048283){break;} }
		for(i=64;i<86;i++){ buf[700]=(byte)i; if(sha1_32(buf)==232262871){break;} }
		for(i=102;i<124;i++){ buf[701]=(byte)i; if(sha1_32(buf)==512432493){break;} }
		for(i=-27;i<-16;i++){ buf[702]=(byte)i; if(sha1_32(buf)==326406117){break;} }
		for(i=78;i<96;i++){ buf[703]=(byte)i; if(sha1_32(buf)==-1454175917){break;} }
		for(i=-67;i<-64;i++){ buf[704]=(byte)i; if(sha1_32(buf)==363586638){break;} }
		for(i=11;i<34;i++){ buf[705]=(byte)i; if(sha1_32(buf)==-1610109291){break;} }
		for(i=-73;i<-52;i++){ buf[706]=(byte)i; if(sha1_32(buf)==-71296624){break;} }
		for(i=-57;i<-48;i++){ buf[707]=(byte)i; if(sha1_32(buf)==1019616981){break;} }
		for(i=-128;i<-117;i++){ buf[708]=(byte)i; if(sha1_32(buf)==654735560){break;} }
		for(i=-67;i<-59;i++){ buf[709]=(byte)i; if(sha1_32(buf)==452389428){break;} }
		for(i=-20;i<-10;i++){ buf[710]=(byte)i; if(sha1_32(buf)==1981321248){break;} }
		for(i=108;i<122;i++){ buf[711]=(byte)i; if(sha1_32(buf)==375351777){break;} }
		for(i=-90;i<-67;i++){ buf[712]=(byte)i; if(sha1_32(buf)==-1606112279){break;} }
		for(i=-37;i<-31;i++){ buf[713]=(byte)i; if(sha1_32(buf)==-1939318713){break;} }
		for(i=-128;i<-111;i++){ buf[714]=(byte)i; if(sha1_32(buf)==-1146792614){break;} }
		for(i=32;i<47;i++){ buf[715]=(byte)i; if(sha1_32(buf)==947384910){break;} }
		for(i=-88;i<-71;i++){ buf[716]=(byte)i; if(sha1_32(buf)==-949799000){break;} }
		for(i=58;i<76;i++){ buf[717]=(byte)i; if(sha1_32(buf)==75477531){break;} }
		for(i=23;i<37;i++){ buf[718]=(byte)i; if(sha1_32(buf)==430012089){break;} }
		for(i=-66;i<-50;i++){ buf[719]=(byte)i; if(sha1_32(buf)==-714638084){break;} }
		for(i=-89;i<-77;i++){ buf[720]=(byte)i; if(sha1_32(buf)==-2049662004){break;} }
		for(i=-77;i<-61;i++){ buf[721]=(byte)i; if(sha1_32(buf)==1498256386){break;} }
		for(i=-95;i<-82;i++){ buf[722]=(byte)i; if(sha1_32(buf)==-1939693158){break;} }
		for(i=-5;i<11;i++){ buf[723]=(byte)i; if(sha1_32(buf)==1784407490){break;} }
		for(i=-36;i<-12;i++){ buf[724]=(byte)i; if(sha1_32(buf)==409612100){break;} }
		for(i=-84;i<-73;i++){ buf[725]=(byte)i; if(sha1_32(buf)==-227442333){break;} }
		for(i=-20;i<3;i++){ buf[726]=(byte)i; if(sha1_32(buf)==1579194151){break;} }
		for(i=57;i<86;i++){ buf[727]=(byte)i; if(sha1_32(buf)==48950576){break;} }
		for(i=108;i<118;i++){ buf[728]=(byte)i; if(sha1_32(buf)==1755222367){break;} }
		for(i=82;i<107;i++){ buf[729]=(byte)i; if(sha1_32(buf)==-14761969){break;} }
		for(i=-111;i<-95;i++){ buf[730]=(byte)i; if(sha1_32(buf)==-517386316){break;} }
		for(i=-78;i<-67;i++){ buf[731]=(byte)i; if(sha1_32(buf)==-679674509){break;} }
		for(i=-54;i<-38;i++){ buf[732]=(byte)i; if(sha1_32(buf)==1448236347){break;} }
		for(i=-33;i<-21;i++){ buf[733]=(byte)i; if(sha1_32(buf)==1545048938){break;} }
		for(i=90;i<106;i++){ buf[734]=(byte)i; if(sha1_32(buf)==-485603185){break;} }
		for(i=-2;i<14;i++){ buf[735]=(byte)i; if(sha1_32(buf)==1331626677){break;} }
		for(i=-112;i<-92;i++){ buf[736]=(byte)i; if(sha1_32(buf)==-1015756341){break;} }
		for(i=-24;i<-6;i++){ buf[737]=(byte)i; if(sha1_32(buf)==-597600884){break;} }
		for(i=-119;i<-111;i++){ buf[738]=(byte)i; if(sha1_32(buf)==1674517745){break;} }
		for(i=103;i<111;i++){ buf[739]=(byte)i; if(sha1_32(buf)==-1028616016){break;} }
		for(i=-102;i<-82;i++){ buf[740]=(byte)i; if(sha1_32(buf)==455815200){break;} }
		for(i=-108;i<-93;i++){ buf[741]=(byte)i; if(sha1_32(buf)==-40812214){break;} }
		for(i=-94;i<-85;i++){ buf[742]=(byte)i; if(sha1_32(buf)==1530267985){break;} }
		for(i=-40;i<-32;i++){ buf[743]=(byte)i; if(sha1_32(buf)==1494591884){break;} }
		for(i=-56;i<-40;i++){ buf[744]=(byte)i; if(sha1_32(buf)==1191926308){break;} }
		for(i=64;i<69;i++){ buf[745]=(byte)i; if(sha1_32(buf)==-1728814664){break;} }
		for(i=23;i<39;i++){ buf[746]=(byte)i; if(sha1_32(buf)==1235946658){break;} }
		for(i=-11;i<7;i++){ buf[747]=(byte)i; if(sha1_32(buf)==-285844881){break;} }
		for(i=59;i<74;i++){ buf[748]=(byte)i; if(sha1_32(buf)==977750304){break;} }
		for(i=-50;i<-48;i++){ buf[749]=(byte)i; if(sha1_32(buf)==706463793){break;} }
		for(i=15;i<40;i++){ buf[750]=(byte)i; if(sha1_32(buf)==1269336923){break;} }
		for(i=-81;i<-64;i++){ buf[751]=(byte)i; if(sha1_32(buf)==-1828724130){break;} }
		for(i=-69;i<-54;i++){ buf[752]=(byte)i; if(sha1_32(buf)==1498841023){break;} }
		for(i=37;i<53;i++){ buf[753]=(byte)i; if(sha1_32(buf)==-1152987008){break;} }
		for(i=-18;i<-15;i++){ buf[754]=(byte)i; if(sha1_32(buf)==2140504269){break;} }
		for(i=-14;i<15;i++){ buf[755]=(byte)i; if(sha1_32(buf)==-1386426315){break;} }
		for(i=-6;i<10;i++){ buf[756]=(byte)i; if(sha1_32(buf)==811710952){break;} }
		for(i=99;i<123;i++){ buf[757]=(byte)i; if(sha1_32(buf)==-1272978453){break;} }
		for(i=-94;i<-71;i++){ buf[758]=(byte)i; if(sha1_32(buf)==-1472366113){break;} }
		for(i=-40;i<-22;i++){ buf[759]=(byte)i; if(sha1_32(buf)==-21327535){break;} }
		for(i=57;i<66;i++){ buf[760]=(byte)i; if(sha1_32(buf)==1003324869){break;} }
		for(i=-15;i<5;i++){ buf[761]=(byte)i; if(sha1_32(buf)==-2111920935){break;} }
		for(i=-28;i<-25;i++){ buf[762]=(byte)i; if(sha1_32(buf)==10081742){break;} }
		for(i=-16;i<0;i++){ buf[763]=(byte)i; if(sha1_32(buf)==1321296397){break;} }
		for(i=-5;i<2;i++){ buf[764]=(byte)i; if(sha1_32(buf)==1761333850){break;} }
		for(i=-22;i<-11;i++){ buf[765]=(byte)i; if(sha1_32(buf)==-988587337){break;} }
		for(i=-31;i<-20;i++){ buf[766]=(byte)i; if(sha1_32(buf)==1746071773){break;} }
		for(i=80;i<83;i++){ buf[767]=(byte)i; if(sha1_32(buf)==1256620731){break;} }
		for(i=-19;i<-13;i++){ buf[768]=(byte)i; if(sha1_32(buf)==353988233){break;} }
		for(i=97;i<113;i++){ buf[769]=(byte)i; if(sha1_32(buf)==808458924){break;} }
		for(i=113;i<127;i++){ buf[770]=(byte)i; if(sha1_32(buf)==-297881043){break;} }
		for(i=18;i<35;i++){ buf[771]=(byte)i; if(sha1_32(buf)==1520564933){break;} }
		for(i=-117;i<-97;i++){ buf[772]=(byte)i; if(sha1_32(buf)==460059612){break;} }
		for(i=85;i<97;i++){ buf[773]=(byte)i; if(sha1_32(buf)==-1969978100){break;} }
		for(i=93;i<103;i++){ buf[774]=(byte)i; if(sha1_32(buf)==-1302703899){break;} }
		for(i=-106;i<-92;i++){ buf[775]=(byte)i; if(sha1_32(buf)==1389762077){break;} }
		for(i=-7;i<6;i++){ buf[776]=(byte)i; if(sha1_32(buf)==-1488345903){break;} }
		for(i=-16;i<-4;i++){ buf[777]=(byte)i; if(sha1_32(buf)==364913045){break;} }
		for(i=-95;i<-84;i++){ buf[778]=(byte)i; if(sha1_32(buf)==-1962597463){break;} }
		for(i=80;i<98;i++){ buf[779]=(byte)i; if(sha1_32(buf)==621678367){break;} }
		for(i=-10;i<10;i++){ buf[780]=(byte)i; if(sha1_32(buf)==213219293){break;} }
		for(i=-125;i<-102;i++){ buf[781]=(byte)i; if(sha1_32(buf)==-128443731){break;} }
		for(i=-64;i<-44;i++){ buf[782]=(byte)i; if(sha1_32(buf)==1670358938){break;} }
		for(i=21;i<40;i++){ buf[783]=(byte)i; if(sha1_32(buf)==-74533347){break;} }
		for(i=-128;i<-121;i++){ buf[784]=(byte)i; if(sha1_32(buf)==-580286454){break;} }
		for(i=-15;i<6;i++){ buf[785]=(byte)i; if(sha1_32(buf)==-128202445){break;} }
		for(i=23;i<35;i++){ buf[786]=(byte)i; if(sha1_32(buf)==-839605758){break;} }
		for(i=5;i<17;i++){ buf[787]=(byte)i; if(sha1_32(buf)==306067635){break;} }
		for(i=22;i<35;i++){ buf[788]=(byte)i; if(sha1_32(buf)==-408091695){break;} }
		for(i=-74;i<-47;i++){ buf[789]=(byte)i; if(sha1_32(buf)==-1242404918){break;} }
		for(i=17;i<34;i++){ buf[790]=(byte)i; if(sha1_32(buf)==2136062996){break;} }
		for(i=-23;i<3;i++){ buf[791]=(byte)i; if(sha1_32(buf)==1067559658){break;} }
		for(i=-101;i<-90;i++){ buf[792]=(byte)i; if(sha1_32(buf)==1860268147){break;} }
		for(i=65;i<87;i++){ buf[793]=(byte)i; if(sha1_32(buf)==-208884436){break;} }
		for(i=-89;i<-71;i++){ buf[794]=(byte)i; if(sha1_32(buf)==2128621373){break;} }
		for(i=-70;i<-60;i++){ buf[795]=(byte)i; if(sha1_32(buf)==118183940){break;} }
		for(i=99;i<109;i++){ buf[796]=(byte)i; if(sha1_32(buf)==566932872){break;} }
		for(i=76;i<86;i++){ buf[797]=(byte)i; if(sha1_32(buf)==-8041344){break;} }
		for(i=3;i<14;i++){ buf[798]=(byte)i; if(sha1_32(buf)==1042711268){break;} }
		for(i=-126;i<-99;i++){ buf[799]=(byte)i; if(sha1_32(buf)==-648203494){break;} }
		for(i=-128;i<-124;i++){ buf[800]=(byte)i; if(sha1_32(buf)==-300826525){break;} }
		for(i=-74;i<-64;i++){ buf[801]=(byte)i; if(sha1_32(buf)==2064910951){break;} }
		for(i=14;i<19;i++){ buf[802]=(byte)i; if(sha1_32(buf)==819223041){break;} }
		for(i=52;i<66;i++){ buf[803]=(byte)i; if(sha1_32(buf)==-689053733){break;} }
		for(i=71;i<76;i++){ buf[804]=(byte)i; if(sha1_32(buf)==-243421998){break;} }
		for(i=-17;i<10;i++){ buf[805]=(byte)i; if(sha1_32(buf)==-2133431125){break;} }
		for(i=-84;i<-69;i++){ buf[806]=(byte)i; if(sha1_32(buf)==-877103150){break;} }
		for(i=-84;i<-68;i++){ buf[807]=(byte)i; if(sha1_32(buf)==756686838){break;} }
		for(i=98;i<127;i++){ buf[808]=(byte)i; if(sha1_32(buf)==1105988857){break;} }
		for(i=-99;i<-80;i++){ buf[809]=(byte)i; if(sha1_32(buf)==-1859045003){break;} }
		for(i=-41;i<-33;i++){ buf[810]=(byte)i; if(sha1_32(buf)==1763805386){break;} }
		for(i=-41;i<-19;i++){ buf[811]=(byte)i; if(sha1_32(buf)==-565041612){break;} }
		for(i=-17;i<-5;i++){ buf[812]=(byte)i; if(sha1_32(buf)==-1771188129){break;} }
		for(i=31;i<39;i++){ buf[813]=(byte)i; if(sha1_32(buf)==91028337){break;} }
		for(i=-79;i<-55;i++){ buf[814]=(byte)i; if(sha1_32(buf)==-474928067){break;} }
		for(i=87;i<103;i++){ buf[815]=(byte)i; if(sha1_32(buf)==-412787531){break;} }
		for(i=-36;i<-19;i++){ buf[816]=(byte)i; if(sha1_32(buf)==-583810235){break;} }
		for(i=-60;i<-37;i++){ buf[817]=(byte)i; if(sha1_32(buf)==1819771995){break;} }
		for(i=64;i<91;i++){ buf[818]=(byte)i; if(sha1_32(buf)==51513378){break;} }
		for(i=-82;i<-59;i++){ buf[819]=(byte)i; if(sha1_32(buf)==-1073905314){break;} }
		for(i=84;i<102;i++){ buf[820]=(byte)i; if(sha1_32(buf)==1783152074){break;} }
		for(i=-95;i<-75;i++){ buf[821]=(byte)i; if(sha1_32(buf)==1678159402){break;} }
		for(i=-85;i<-79;i++){ buf[822]=(byte)i; if(sha1_32(buf)==1028047565){break;} }
		for(i=-2;i<9;i++){ buf[823]=(byte)i; if(sha1_32(buf)==1028047565){break;} }
		for(i=45;i<58;i++){ buf[824]=(byte)i; if(sha1_32(buf)==-1369879115){break;} }
		for(i=64;i<77;i++){ buf[825]=(byte)i; if(sha1_32(buf)==-1980595573){break;} }
		for(i=-29;i<-23;i++){ buf[826]=(byte)i; if(sha1_32(buf)==-633847767){break;} }
		for(i=83;i<106;i++){ buf[827]=(byte)i; if(sha1_32(buf)==-1731819411){break;} }
		for(i=-36;i<-24;i++){ buf[828]=(byte)i; if(sha1_32(buf)==-506012380){break;} }
		for(i=-31;i<-13;i++){ buf[829]=(byte)i; if(sha1_32(buf)==15963959){break;} }
		for(i=-96;i<-76;i++){ buf[830]=(byte)i; if(sha1_32(buf)==-692330751){break;} }
		for(i=-101;i<-86;i++){ buf[831]=(byte)i; if(sha1_32(buf)==-1746589962){break;} }
		for(i=99;i<122;i++){ buf[832]=(byte)i; if(sha1_32(buf)==-1823995863){break;} }
		for(i=-67;i<-52;i++){ buf[833]=(byte)i; if(sha1_32(buf)==-1148840456){break;} }
		for(i=-46;i<-20;i++){ buf[834]=(byte)i; if(sha1_32(buf)==1729693332){break;} }
		for(i=59;i<69;i++){ buf[835]=(byte)i; if(sha1_32(buf)==-48782066){break;} }
		for(i=-111;i<-98;i++){ buf[836]=(byte)i; if(sha1_32(buf)==1996044437){break;} }
		for(i=-14;i<14;i++){ buf[837]=(byte)i; if(sha1_32(buf)==1996044437){break;} }
		for(i=56;i<81;i++){ buf[838]=(byte)i; if(sha1_32(buf)==160620364){break;} }
		for(i=-45;i<-28;i++){ buf[839]=(byte)i; if(sha1_32(buf)==-1466267200){break;} }
		for(i=-39;i<-14;i++){ buf[840]=(byte)i; if(sha1_32(buf)==-2139039369){break;} }
		for(i=114;i<125;i++){ buf[841]=(byte)i; if(sha1_32(buf)==-134599756){break;} }
		for(i=-105;i<-78;i++){ buf[842]=(byte)i; if(sha1_32(buf)==-37464355){break;} }
		for(i=5;i<21;i++){ buf[843]=(byte)i; if(sha1_32(buf)==840486623){break;} }
		for(i=106;i<123;i++){ buf[844]=(byte)i; if(sha1_32(buf)==-1364267354){break;} }
		for(i=100;i<121;i++){ buf[845]=(byte)i; if(sha1_32(buf)==1899883337){break;} }
		for(i=-46;i<-35;i++){ buf[846]=(byte)i; if(sha1_32(buf)==244625427){break;} }
		for(i=116;i<128;i++){ buf[847]=(byte)i; if(sha1_32(buf)==983594979){break;} }
		for(i=-9;i<19;i++){ buf[848]=(byte)i; if(sha1_32(buf)==-1709423390){break;} }
		for(i=-3;i<22;i++){ buf[849]=(byte)i; if(sha1_32(buf)==1510406331){break;} }
		for(i=50;i<60;i++){ buf[850]=(byte)i; if(sha1_32(buf)==1890513180){break;} }
		for(i=23;i<31;i++){ buf[851]=(byte)i; if(sha1_32(buf)==1080420133){break;} }
		for(i=-19;i<-5;i++){ buf[852]=(byte)i; if(sha1_32(buf)==2114033531){break;} }
		for(i=-94;i<-84;i++){ buf[853]=(byte)i; if(sha1_32(buf)==-1577803749){break;} }
		for(i=-87;i<-73;i++){ buf[854]=(byte)i; if(sha1_32(buf)==263880678){break;} }
		for(i=-127;i<-122;i++){ buf[855]=(byte)i; if(sha1_32(buf)==-1906929426){break;} }
		for(i=25;i<37;i++){ buf[856]=(byte)i; if(sha1_32(buf)==1887857772){break;} }
		for(i=-29;i<-18;i++){ buf[857]=(byte)i; if(sha1_32(buf)==1362559119){break;} }
		for(i=-71;i<-61;i++){ buf[858]=(byte)i; if(sha1_32(buf)==-626388195){break;} }
		for(i=42;i<72;i++){ buf[859]=(byte)i; if(sha1_32(buf)==2127788128){break;} }
		for(i=-62;i<-42;i++){ buf[860]=(byte)i; if(sha1_32(buf)==1449536261){break;} }
		for(i=-42;i<-24;i++){ buf[861]=(byte)i; if(sha1_32(buf)==1673936532){break;} }
		for(i=20;i<27;i++){ buf[862]=(byte)i; if(sha1_32(buf)==1765185677){break;} }
		for(i=-111;i<-91;i++){ buf[863]=(byte)i; if(sha1_32(buf)==2092036014){break;} }
		for(i=-106;i<-94;i++){ buf[864]=(byte)i; if(sha1_32(buf)==-1260212115){break;} }
		for(i=5;i<33;i++){ buf[865]=(byte)i; if(sha1_32(buf)==1018473706){break;} }
		for(i=48;i<75;i++){ buf[866]=(byte)i; if(sha1_32(buf)==-1812678556){break;} }
		for(i=108;i<123;i++){ buf[867]=(byte)i; if(sha1_32(buf)==-415848812){break;} }
		for(i=-125;i<-124;i++){ buf[868]=(byte)i; if(sha1_32(buf)==-15969061){break;} }
		for(i=-73;i<-60;i++){ buf[869]=(byte)i; if(sha1_32(buf)==-2116109746){break;} }
		for(i=29;i<47;i++){ buf[870]=(byte)i; if(sha1_32(buf)==1062229274){break;} }
		for(i=6;i<21;i++){ buf[871]=(byte)i; if(sha1_32(buf)==-603660321){break;} }
		for(i=64;i<76;i++){ buf[872]=(byte)i; if(sha1_32(buf)==-2013320331){break;} }
		for(i=56;i<81;i++){ buf[873]=(byte)i; if(sha1_32(buf)==-149186973){break;} }
		for(i=34;i<41;i++){ buf[874]=(byte)i; if(sha1_32(buf)==1126406090){break;} }
		for(i=-105;i<-80;i++){ buf[875]=(byte)i; if(sha1_32(buf)==1586331088){break;} }
		for(i=-57;i<-42;i++){ buf[876]=(byte)i; if(sha1_32(buf)==-197624220){break;} }
		for(i=-124;i<-110;i++){ buf[877]=(byte)i; if(sha1_32(buf)==1297266024){break;} }
		for(i=-116;i<-91;i++){ buf[878]=(byte)i; if(sha1_32(buf)==-630759686){break;} }
		for(i=6;i<10;i++){ buf[879]=(byte)i; if(sha1_32(buf)==230224846){break;} }
		for(i=-15;i<2;i++){ buf[880]=(byte)i; if(sha1_32(buf)==238668418){break;} }
		for(i=-77;i<-56;i++){ buf[881]=(byte)i; if(sha1_32(buf)==-996825762){break;} }
		for(i=-104;i<-99;i++){ buf[882]=(byte)i; if(sha1_32(buf)==-1023952841){break;} }
		for(i=-3;i<12;i++){ buf[883]=(byte)i; if(sha1_32(buf)==-1775948350){break;} }
		for(i=96;i<111;i++){ buf[884]=(byte)i; if(sha1_32(buf)==383451197){break;} }
		for(i=-83;i<-67;i++){ buf[885]=(byte)i; if(sha1_32(buf)==313919623){break;} }
		for(i=-76;i<-57;i++){ buf[886]=(byte)i; if(sha1_32(buf)==1363222550){break;} }
		for(i=45;i<50;i++){ buf[887]=(byte)i; if(sha1_32(buf)==-1108914917){break;} }
		for(i=-108;i<-94;i++){ buf[888]=(byte)i; if(sha1_32(buf)==310218519){break;} }
		for(i=-71;i<-62;i++){ buf[889]=(byte)i; if(sha1_32(buf)==-2097798227){break;} }
		for(i=85;i<109;i++){ buf[890]=(byte)i; if(sha1_32(buf)==-1769444421){break;} }
		for(i=1;i<5;i++){ buf[891]=(byte)i; if(sha1_32(buf)==2094408573){break;} }
		for(i=-64;i<-45;i++){ buf[892]=(byte)i; if(sha1_32(buf)==-850582903){break;} }
		for(i=104;i<127;i++){ buf[893]=(byte)i; if(sha1_32(buf)==1527299556){break;} }
		for(i=103;i<125;i++){ buf[894]=(byte)i; if(sha1_32(buf)==-914337423){break;} }
		for(i=60;i<77;i++){ buf[895]=(byte)i; if(sha1_32(buf)==1779254715){break;} }
		for(i=-89;i<-75;i++){ buf[896]=(byte)i; if(sha1_32(buf)==-1051452779){break;} }
		for(i=-10;i<3;i++){ buf[897]=(byte)i; if(sha1_32(buf)==-1825983262){break;} }
		for(i=30;i<47;i++){ buf[898]=(byte)i; if(sha1_32(buf)==-1339604664){break;} }
		for(i=86;i<100;i++){ buf[899]=(byte)i; if(sha1_32(buf)==1517607059){break;} }
		for(i=-34;i<-18;i++){ buf[900]=(byte)i; if(sha1_32(buf)==-193631475){break;} }
		for(i=41;i<71;i++){ buf[901]=(byte)i; if(sha1_32(buf)==-385096906){break;} }
		for(i=-128;i<-122;i++){ buf[902]=(byte)i; if(sha1_32(buf)==-137102780){break;} }
		for(i=-12;i<7;i++){ buf[903]=(byte)i; if(sha1_32(buf)==-137102780){break;} }
		for(i=15;i<18;i++){ buf[904]=(byte)i; if(sha1_32(buf)==-761124286){break;} }
		for(i=12;i<24;i++){ buf[905]=(byte)i; if(sha1_32(buf)==-1775619928){break;} }
		for(i=95;i<124;i++){ buf[906]=(byte)i; if(sha1_32(buf)==1936648316){break;} }
		for(i=-9;i<7;i++){ buf[907]=(byte)i; if(sha1_32(buf)==1555598658){break;} }
		for(i=33;i<51;i++){ buf[908]=(byte)i; if(sha1_32(buf)==-714179383){break;} }
		for(i=-113;i<-88;i++){ buf[909]=(byte)i; if(sha1_32(buf)==-593808398){break;} }
		for(i=99;i<111;i++){ buf[910]=(byte)i; if(sha1_32(buf)==1318293455){break;} }
		for(i=110;i<128;i++){ buf[911]=(byte)i; if(sha1_32(buf)==1787256083){break;} }
		for(i=-71;i<-49;i++){ buf[912]=(byte)i; if(sha1_32(buf)==1972874861){break;} }
		for(i=-115;i<-96;i++){ buf[913]=(byte)i; if(sha1_32(buf)==1141523296){break;} }
		for(i=33;i<47;i++){ buf[914]=(byte)i; if(sha1_32(buf)==1638266252){break;} }
		for(i=-41;i<-30;i++){ buf[915]=(byte)i; if(sha1_32(buf)==-1781272514){break;} }
		for(i=84;i<94;i++){ buf[916]=(byte)i; if(sha1_32(buf)==-614363493){break;} }
		for(i=-17;i<-12;i++){ buf[917]=(byte)i; if(sha1_32(buf)==-725826071){break;} }
		for(i=-22;i<-3;i++){ buf[918]=(byte)i; if(sha1_32(buf)==-1414246199){break;} }
		for(i=76;i<90;i++){ buf[919]=(byte)i; if(sha1_32(buf)==-567540914){break;} }
		for(i=101;i<128;i++){ buf[920]=(byte)i; if(sha1_32(buf)==-1098147239){break;} }
		for(i=-23;i<-7;i++){ buf[921]=(byte)i; if(sha1_32(buf)==1278450757){break;} }
		for(i=89;i<105;i++){ buf[922]=(byte)i; if(sha1_32(buf)==773080072){break;} }
		for(i=23;i<35;i++){ buf[923]=(byte)i; if(sha1_32(buf)==-1840092507){break;} }
		for(i=-118;i<-108;i++){ buf[924]=(byte)i; if(sha1_32(buf)==1166141999){break;} }
		for(i=55;i<72;i++){ buf[925]=(byte)i; if(sha1_32(buf)==-2061554626){break;} }
		for(i=6;i<28;i++){ buf[926]=(byte)i; if(sha1_32(buf)==-267335856){break;} }
		for(i=-75;i<-56;i++){ buf[927]=(byte)i; if(sha1_32(buf)==1826093899){break;} }
		for(i=79;i<95;i++){ buf[928]=(byte)i; if(sha1_32(buf)==-974400242){break;} }
		for(i=-128;i<-102;i++){ buf[929]=(byte)i; if(sha1_32(buf)==1853493901){break;} }
		for(i=-54;i<-42;i++){ buf[930]=(byte)i; if(sha1_32(buf)==-1515531331){break;} }
		for(i=-99;i<-86;i++){ buf[931]=(byte)i; if(sha1_32(buf)==-473497684){break;} }
		for(i=13;i<34;i++){ buf[932]=(byte)i; if(sha1_32(buf)==-1059053425){break;} }
		for(i=-54;i<-27;i++){ buf[933]=(byte)i; if(sha1_32(buf)==-45508351){break;} }
		for(i=101;i<110;i++){ buf[934]=(byte)i; if(sha1_32(buf)==-1319927841){break;} }
		for(i=39;i<50;i++){ buf[935]=(byte)i; if(sha1_32(buf)==-301171038){break;} }
		for(i=58;i<80;i++){ buf[936]=(byte)i; if(sha1_32(buf)==-297292960){break;} }
		for(i=-73;i<-50;i++){ buf[937]=(byte)i; if(sha1_32(buf)==840063623){break;} }
		for(i=10;i<24;i++){ buf[938]=(byte)i; if(sha1_32(buf)==-1484795990){break;} }
		for(i=113;i<128;i++){ buf[939]=(byte)i; if(sha1_32(buf)==-1993227699){break;} }
		for(i=-113;i<-105;i++){ buf[940]=(byte)i; if(sha1_32(buf)==186610613){break;} }
		for(i=113;i<128;i++){ buf[941]=(byte)i; if(sha1_32(buf)==-644230664){break;} }
		for(i=-68;i<-51;i++){ buf[942]=(byte)i; if(sha1_32(buf)==-1273918016){break;} }
		for(i=109;i<128;i++){ buf[943]=(byte)i; if(sha1_32(buf)==-1556940884){break;} }
		for(i=101;i<123;i++){ buf[944]=(byte)i; if(sha1_32(buf)==-1339001832){break;} }
		for(i=-45;i<-36;i++){ buf[945]=(byte)i; if(sha1_32(buf)==1822349901){break;} }
		for(i=29;i<41;i++){ buf[946]=(byte)i; if(sha1_32(buf)==-2129517310){break;} }
		for(i=105;i<121;i++){ buf[947]=(byte)i; if(sha1_32(buf)==1426078282){break;} }
		for(i=116;i<127;i++){ buf[948]=(byte)i; if(sha1_32(buf)==-957223247){break;} }
		for(i=-36;i<-19;i++){ buf[949]=(byte)i; if(sha1_32(buf)==1008840453){break;} }
		for(i=79;i<98;i++){ buf[950]=(byte)i; if(sha1_32(buf)==526074933){break;} }
		for(i=110;i<128;i++){ buf[951]=(byte)i; if(sha1_32(buf)==-1721129261){break;} }
		for(i=38;i<60;i++){ buf[952]=(byte)i; if(sha1_32(buf)==1440426112){break;} }
		for(i=15;i<29;i++){ buf[953]=(byte)i; if(sha1_32(buf)==715569312){break;} }
		for(i=-124;i<-122;i++){ buf[954]=(byte)i; if(sha1_32(buf)==-2145487938){break;} }
		for(i=-86;i<-74;i++){ buf[955]=(byte)i; if(sha1_32(buf)==-2043769158){break;} }
		for(i=-42;i<-27;i++){ buf[956]=(byte)i; if(sha1_32(buf)==-246725536){break;} }
		for(i=-30;i<-16;i++){ buf[957]=(byte)i; if(sha1_32(buf)==-361915326){break;} }
		for(i=-85;i<-77;i++){ buf[958]=(byte)i; if(sha1_32(buf)==435850166){break;} }
		for(i=-21;i<-15;i++){ buf[959]=(byte)i; if(sha1_32(buf)==1949071049){break;} }
		for(i=-25;i<-6;i++){ buf[960]=(byte)i; if(sha1_32(buf)==2108389898){break;} }
		for(i=104;i<120;i++){ buf[961]=(byte)i; if(sha1_32(buf)==-647426592){break;} }
		for(i=-51;i<-45;i++){ buf[962]=(byte)i; if(sha1_32(buf)==816558557){break;} }
		for(i=-68;i<-52;i++){ buf[963]=(byte)i; if(sha1_32(buf)==-815815474){break;} }
		for(i=-3;i<14;i++){ buf[964]=(byte)i; if(sha1_32(buf)==405042903){break;} }
		for(i=70;i<91;i++){ buf[965]=(byte)i; if(sha1_32(buf)==2008767671){break;} }
		for(i=-18;i<-9;i++){ buf[966]=(byte)i; if(sha1_32(buf)==287799802){break;} }
		for(i=-32;i<-7;i++){ buf[967]=(byte)i; if(sha1_32(buf)==1653478262){break;} }
		for(i=-29;i<-21;i++){ buf[968]=(byte)i; if(sha1_32(buf)==-777854784){break;} }
		for(i=-6;i<16;i++){ buf[969]=(byte)i; if(sha1_32(buf)==1439468628){break;} }
		for(i=24;i<40;i++){ buf[970]=(byte)i; if(sha1_32(buf)==481486584){break;} }
		for(i=-44;i<-40;i++){ buf[971]=(byte)i; if(sha1_32(buf)==-566009008){break;} }
		for(i=47;i<58;i++){ buf[972]=(byte)i; if(sha1_32(buf)==-1331377229){break;} }
		for(i=37;i<57;i++){ buf[973]=(byte)i; if(sha1_32(buf)==1619635791){break;} }
		for(i=115;i<119;i++){ buf[974]=(byte)i; if(sha1_32(buf)==-1987459291){break;} }
		for(i=79;i<87;i++){ buf[975]=(byte)i; if(sha1_32(buf)==2007562643){break;} }
		for(i=49;i<77;i++){ buf[976]=(byte)i; if(sha1_32(buf)==-808960773){break;} }
		for(i=33;i<54;i++){ buf[977]=(byte)i; if(sha1_32(buf)==-1731772205){break;} }
		for(i=72;i<88;i++){ buf[978]=(byte)i; if(sha1_32(buf)==135363187){break;} }
		for(i=-58;i<-38;i++){ buf[979]=(byte)i; if(sha1_32(buf)==-1422191065){break;} }
		for(i=68;i<87;i++){ buf[980]=(byte)i; if(sha1_32(buf)==-1084212435){break;} }
		for(i=52;i<65;i++){ buf[981]=(byte)i; if(sha1_32(buf)==1086088758){break;} }
		for(i=-26;i<-5;i++){ buf[982]=(byte)i; if(sha1_32(buf)==-1521205180){break;} }
		for(i=95;i<100;i++){ buf[983]=(byte)i; if(sha1_32(buf)==1421867346){break;} }
		for(i=-102;i<-89;i++){ buf[984]=(byte)i; if(sha1_32(buf)==444536418){break;} }
		for(i=-109;i<-101;i++){ buf[985]=(byte)i; if(sha1_32(buf)==-955755108){break;} }
		for(i=74;i<93;i++){ buf[986]=(byte)i; if(sha1_32(buf)==-846027759){break;} }
		for(i=21;i<40;i++){ buf[987]=(byte)i; if(sha1_32(buf)==-388046613){break;} }
		for(i=-84;i<-66;i++){ buf[988]=(byte)i; if(sha1_32(buf)==-588587604){break;} }
		for(i=-128;i<-123;i++){ buf[989]=(byte)i; if(sha1_32(buf)==-515725061){break;} }
		for(i=70;i<83;i++){ buf[990]=(byte)i; if(sha1_32(buf)==-1785152854){break;} }
		for(i=2;i<15;i++){ buf[991]=(byte)i; if(sha1_32(buf)==1139288549){break;} }
		for(i=-25;i<3;i++){ buf[992]=(byte)i; if(sha1_32(buf)==311585118){break;} }
		for(i=40;i<49;i++){ buf[993]=(byte)i; if(sha1_32(buf)==-94469135){break;} }
		for(i=60;i<69;i++){ buf[994]=(byte)i; if(sha1_32(buf)==-712954593){break;} }
		for(i=16;i<33;i++){ buf[995]=(byte)i; if(sha1_32(buf)==-2014080170){break;} }
		for(i=87;i<111;i++){ buf[996]=(byte)i; if(sha1_32(buf)==-1922601619){break;} }
		for(i=-15;i<-7;i++){ buf[997]=(byte)i; if(sha1_32(buf)==156623619){break;} }
		for(i=-91;i<-79;i++){ buf[998]=(byte)i; if(sha1_32(buf)==-244852364){break;} }
		for(i=40;i<56;i++){ buf[999]=(byte)i; if(sha1_32(buf)==1402552849){break;} }
		for(i=-128;i<-121;i++){ buf[1000]=(byte)i; if(sha1_32(buf)==3561728){break;} }
		for(i=-31;i<-9;i++){ buf[1001]=(byte)i; if(sha1_32(buf)==-754372643){break;} }
		for(i=69;i<77;i++){ buf[1002]=(byte)i; if(sha1_32(buf)==-580753177){break;} }
		for(i=7;i<20;i++){ buf[1003]=(byte)i; if(sha1_32(buf)==1355237540){break;} }
		for(i=-128;i<-111;i++){ buf[1004]=(byte)i; if(sha1_32(buf)==-449321516){break;} }
		for(i=-128;i<-110;i++){ buf[1005]=(byte)i; if(sha1_32(buf)==1761983819){break;} }
		for(i=-3;i<2;i++){ buf[1006]=(byte)i; if(sha1_32(buf)==1907755666){break;} }
		for(i=94;i<114;i++){ buf[1007]=(byte)i; if(sha1_32(buf)==-907138314){break;} }
		for(i=-95;i<-84;i++){ buf[1008]=(byte)i; if(sha1_32(buf)==287547513){break;} }
		for(i=-54;i<-38;i++){ buf[1009]=(byte)i; if(sha1_32(buf)==930707897){break;} }
		for(i=2;i<17;i++){ buf[1010]=(byte)i; if(sha1_32(buf)==7828815){break;} }
		for(i=40;i<57;i++){ buf[1011]=(byte)i; if(sha1_32(buf)==-362579737){break;} }
		for(i=-24;i<-10;i++){ buf[1012]=(byte)i; if(sha1_32(buf)==-425566553){break;} }
		for(i=-115;i<-89;i++){ buf[1013]=(byte)i; if(sha1_32(buf)==1114284581){break;} }
		for(i=-10;i<7;i++){ buf[1014]=(byte)i; if(sha1_32(buf)==-1854230199){break;} }
		for(i=-35;i<-17;i++){ buf[1015]=(byte)i; if(sha1_32(buf)==-1449026899){break;} }
		for(i=63;i<76;i++){ buf[1016]=(byte)i; if(sha1_32(buf)==244572561){break;} }
		for(i=27;i<44;i++){ buf[1017]=(byte)i; if(sha1_32(buf)==-564743310){break;} }
		for(i=-128;i<-113;i++){ buf[1018]=(byte)i; if(sha1_32(buf)==79818251){break;} }
		for(i=-47;i<-40;i++){ buf[1019]=(byte)i; if(sha1_32(buf)==496783477){break;} }
		for(i=-62;i<-43;i++){ buf[1020]=(byte)i; if(sha1_32(buf)==-1437527316){break;} }
		for(i=-126;i<-119;i++){ buf[1021]=(byte)i; if(sha1_32(buf)==1854496158){break;} }
		for(i=54;i<67;i++){ buf[1022]=(byte)i; if(sha1_32(buf)==-1606869586){break;} }
		for(i=76;i<92;i++){ buf[1023]=(byte)i; if(sha1_32(buf)==-2122694404){break;} }
		for(i=126;i<128;i++){ buf[1024]=(byte)i; if(sha1_32(buf)==-621788676){break;} }
		for(i=-106;i<-80;i++){ buf[1025]=(byte)i; if(sha1_32(buf)==-706524595){break;} }
		for(i=-31;i<-17;i++){ buf[1026]=(byte)i; if(sha1_32(buf)==119356263){break;} }
		for(i=99;i<110;i++){ buf[1027]=(byte)i; if(sha1_32(buf)==-657287800){break;} }
		for(i=-18;i<9;i++){ buf[1028]=(byte)i; if(sha1_32(buf)==-1754045621){break;} }
		for(i=102;i<119;i++){ buf[1029]=(byte)i; if(sha1_32(buf)==988571076){break;} }
		for(i=83;i<110;i++){ buf[1030]=(byte)i; if(sha1_32(buf)==-1643383439){break;} }
		for(i=68;i<97;i++){ buf[1031]=(byte)i; if(sha1_32(buf)==-728513069){break;} }
		for(i=73;i<90;i++){ buf[1032]=(byte)i; if(sha1_32(buf)==148149581){break;} }
		for(i=-81;i<-62;i++){ buf[1033]=(byte)i; if(sha1_32(buf)==-214379881){break;} }
		for(i=-53;i<-35;i++){ buf[1034]=(byte)i; if(sha1_32(buf)==1944357871){break;} }
		for(i=50;i<69;i++){ buf[1035]=(byte)i; if(sha1_32(buf)==-1184738319){break;} }
		for(i=-56;i<-40;i++){ buf[1036]=(byte)i; if(sha1_32(buf)==-1945424405){break;} }
		for(i=-63;i<-40;i++){ buf[1037]=(byte)i; if(sha1_32(buf)==208387788){break;} }
		for(i=75;i<84;i++){ buf[1038]=(byte)i; if(sha1_32(buf)==-261037380){break;} }
		for(i=13;i<30;i++){ buf[1039]=(byte)i; if(sha1_32(buf)==-1313771701){break;} }
		for(i=25;i<32;i++){ buf[1040]=(byte)i; if(sha1_32(buf)==1976329092){break;} }
		for(i=-62;i<-52;i++){ buf[1041]=(byte)i; if(sha1_32(buf)==561488642){break;} }
		for(i=-60;i<-58;i++){ buf[1042]=(byte)i; if(sha1_32(buf)==602986033){break;} }
		for(i=106;i<123;i++){ buf[1043]=(byte)i; if(sha1_32(buf)==-2708221){break;} }
		for(i=-4;i<13;i++){ buf[1044]=(byte)i; if(sha1_32(buf)==345183457){break;} }
		for(i=59;i<73;i++){ buf[1045]=(byte)i; if(sha1_32(buf)==865831316){break;} }
		for(i=-61;i<-33;i++){ buf[1046]=(byte)i; if(sha1_32(buf)==-207633258){break;} }
		for(i=-67;i<-66;i++){ buf[1047]=(byte)i; if(sha1_32(buf)==710783692){break;} }
		for(i=-74;i<-66;i++){ buf[1048]=(byte)i; if(sha1_32(buf)==-1758733217){break;} }
		for(i=56;i<74;i++){ buf[1049]=(byte)i; if(sha1_32(buf)==1447808140){break;} }
		for(i=102;i<128;i++){ buf[1050]=(byte)i; if(sha1_32(buf)==-23069753){break;} }
		for(i=-7;i<16;i++){ buf[1051]=(byte)i; if(sha1_32(buf)==-23069753){break;} }
		for(i=65;i<78;i++){ buf[1052]=(byte)i; if(sha1_32(buf)==-2123392937){break;} }
		for(i=-3;i<6;i++){ buf[1053]=(byte)i; if(sha1_32(buf)==793363121){break;} }
		for(i=19;i<35;i++){ buf[1054]=(byte)i; if(sha1_32(buf)==-1220488606){break;} }
		for(i=-75;i<-58;i++){ buf[1055]=(byte)i; if(sha1_32(buf)==1427376799){break;} }
		for(i=23;i<39;i++){ buf[1056]=(byte)i; if(sha1_32(buf)==-1358184440){break;} }
		for(i=-50;i<-36;i++){ buf[1057]=(byte)i; if(sha1_32(buf)==269853165){break;} }
		for(i=96;i<100;i++){ buf[1058]=(byte)i; if(sha1_32(buf)==1476107063){break;} }
		for(i=23;i<43;i++){ buf[1059]=(byte)i; if(sha1_32(buf)==1614342511){break;} }
		for(i=47;i<61;i++){ buf[1060]=(byte)i; if(sha1_32(buf)==1874489647){break;} }
		for(i=-108;i<-92;i++){ buf[1061]=(byte)i; if(sha1_32(buf)==2047732665){break;} }
		for(i=-102;i<-95;i++){ buf[1062]=(byte)i; if(sha1_32(buf)==1923143536){break;} }
		for(i=51;i<65;i++){ buf[1063]=(byte)i; if(sha1_32(buf)==1946410354){break;} }
		for(i=-128;i<-114;i++){ buf[1064]=(byte)i; if(sha1_32(buf)==1788019825){break;} }
		for(i=84;i<100;i++){ buf[1065]=(byte)i; if(sha1_32(buf)==655591090){break;} }
		for(i=-35;i<-29;i++){ buf[1066]=(byte)i; if(sha1_32(buf)==-1715585069){break;} }
		for(i=51;i<62;i++){ buf[1067]=(byte)i; if(sha1_32(buf)==1281839672){break;} }
		for(i=-49;i<-35;i++){ buf[1068]=(byte)i; if(sha1_32(buf)==-1655149092){break;} }
		for(i=-128;i<-105;i++){ buf[1069]=(byte)i; if(sha1_32(buf)==-484996835){break;} }
		for(i=74;i<100;i++){ buf[1070]=(byte)i; if(sha1_32(buf)==-2127027741){break;} }
		for(i=-103;i<-92;i++){ buf[1071]=(byte)i; if(sha1_32(buf)==-37318363){break;} }
		for(i=-26;i<2;i++){ buf[1072]=(byte)i; if(sha1_32(buf)==1414864650){break;} }
		for(i=-44;i<-32;i++){ buf[1073]=(byte)i; if(sha1_32(buf)==1792554155){break;} }
		for(i=-112;i<-98;i++){ buf[1074]=(byte)i; if(sha1_32(buf)==-360554741){break;} }
		for(i=-20;i<-7;i++){ buf[1075]=(byte)i; if(sha1_32(buf)==-380730233){break;} }
		for(i=91;i<120;i++){ buf[1076]=(byte)i; if(sha1_32(buf)==1806573830){break;} }
		for(i=-48;i<-31;i++){ buf[1077]=(byte)i; if(sha1_32(buf)==-1328492272){break;} }
		for(i=-1;i<9;i++){ buf[1078]=(byte)i; if(sha1_32(buf)==333937599){break;} }
		for(i=-69;i<-50;i++){ buf[1079]=(byte)i; if(sha1_32(buf)==485018911){break;} }
		for(i=103;i<112;i++){ buf[1080]=(byte)i; if(sha1_32(buf)==2048592255){break;} }
		for(i=-107;i<-93;i++){ buf[1081]=(byte)i; if(sha1_32(buf)==-1101417696){break;} }
		for(i=2;i<21;i++){ buf[1082]=(byte)i; if(sha1_32(buf)==-920217817){break;} }
		for(i=53;i<83;i++){ buf[1083]=(byte)i; if(sha1_32(buf)==-766977200){break;} }
		for(i=64;i<79;i++){ buf[1084]=(byte)i; if(sha1_32(buf)==1562700196){break;} }
		for(i=61;i<89;i++){ buf[1085]=(byte)i; if(sha1_32(buf)==-596625058){break;} }
		for(i=100;i<116;i++){ buf[1086]=(byte)i; if(sha1_32(buf)==658178583){break;} }
		for(i=-29;i<-7;i++){ buf[1087]=(byte)i; if(sha1_32(buf)==-95158232){break;} }
		for(i=-127;i<-108;i++){ buf[1088]=(byte)i; if(sha1_32(buf)==-219581509){break;} }
		for(i=-19;i<-5;i++){ buf[1089]=(byte)i; if(sha1_32(buf)==242804094){break;} }
		for(i=68;i<89;i++){ buf[1090]=(byte)i; if(sha1_32(buf)==-721617920){break;} }
		for(i=87;i<107;i++){ buf[1091]=(byte)i; if(sha1_32(buf)==1150608267){break;} }
		for(i=-41;i<-20;i++){ buf[1092]=(byte)i; if(sha1_32(buf)==-853132640){break;} }
		for(i=-115;i<-92;i++){ buf[1093]=(byte)i; if(sha1_32(buf)==1802672518){break;} }
		for(i=-78;i<-56;i++){ buf[1094]=(byte)i; if(sha1_32(buf)==-571314239){break;} }
		for(i=25;i<37;i++){ buf[1095]=(byte)i; if(sha1_32(buf)==-1995513658){break;} }
		for(i=-99;i<-68;i++){ buf[1096]=(byte)i; if(sha1_32(buf)==2119374647){break;} }
		for(i=-100;i<-90;i++){ buf[1097]=(byte)i; if(sha1_32(buf)==-584790387){break;} }
		for(i=-98;i<-95;i++){ buf[1098]=(byte)i; if(sha1_32(buf)==306506659){break;} }
		for(i=57;i<79;i++){ buf[1099]=(byte)i; if(sha1_32(buf)==-1347454942){break;} }
		for(i=23;i<38;i++){ buf[1100]=(byte)i; if(sha1_32(buf)==1539022121){break;} }
		for(i=-4;i<16;i++){ buf[1101]=(byte)i; if(sha1_32(buf)==1715427799){break;} }
		for(i=36;i<39;i++){ buf[1102]=(byte)i; if(sha1_32(buf)==650387055){break;} }
		for(i=81;i<99;i++){ buf[1103]=(byte)i; if(sha1_32(buf)==756805392){break;} }
		for(i=83;i<103;i++){ buf[1104]=(byte)i; if(sha1_32(buf)==-185165688){break;} }
		for(i=-43;i<-26;i++){ buf[1105]=(byte)i; if(sha1_32(buf)==-138949977){break;} }
		for(i=-10;i<-6;i++){ buf[1106]=(byte)i; if(sha1_32(buf)==774681255){break;} }
		for(i=115;i<122;i++){ buf[1107]=(byte)i; if(sha1_32(buf)==1205187721){break;} }
		for(i=-51;i<-34;i++){ buf[1108]=(byte)i; if(sha1_32(buf)==-1667142306){break;} }
		for(i=75;i<89;i++){ buf[1109]=(byte)i; if(sha1_32(buf)==330143425){break;} }
		for(i=-70;i<-60;i++){ buf[1110]=(byte)i; if(sha1_32(buf)==-351705704){break;} }
		for(i=-48;i<-30;i++){ buf[1111]=(byte)i; if(sha1_32(buf)==-1276786151){break;} }
		for(i=83;i<96;i++){ buf[1112]=(byte)i; if(sha1_32(buf)==1256749725){break;} }
		for(i=-18;i<-14;i++){ buf[1113]=(byte)i; if(sha1_32(buf)==719777796){break;} }
		for(i=29;i<52;i++){ buf[1114]=(byte)i; if(sha1_32(buf)==-1505286381){break;} }
		for(i=-128;i<-112;i++){ buf[1115]=(byte)i; if(sha1_32(buf)==550310135){break;} }
		for(i=14;i<27;i++){ buf[1116]=(byte)i; if(sha1_32(buf)==-1188854899){break;} }
		for(i=-35;i<-26;i++){ buf[1117]=(byte)i; if(sha1_32(buf)==90645541){break;} }
		for(i=-128;i<-110;i++){ buf[1118]=(byte)i; if(sha1_32(buf)==2054775044){break;} }
		for(i=-96;i<-80;i++){ buf[1119]=(byte)i; if(sha1_32(buf)==2097077846){break;} }
		for(i=-35;i<-21;i++){ buf[1120]=(byte)i; if(sha1_32(buf)==375745460){break;} }
		for(i=-22;i<-10;i++){ buf[1121]=(byte)i; if(sha1_32(buf)==-1710422911){break;} }
		for(i=-101;i<-85;i++){ buf[1122]=(byte)i; if(sha1_32(buf)==2113743547){break;} }
		for(i=-38;i<-14;i++){ buf[1123]=(byte)i; if(sha1_32(buf)==-2009274126){break;} }
		for(i=58;i<72;i++){ buf[1124]=(byte)i; if(sha1_32(buf)==-1885956905){break;} }
		for(i=-128;i<-109;i++){ buf[1125]=(byte)i; if(sha1_32(buf)==-437267674){break;} }
		for(i=65;i<80;i++){ buf[1126]=(byte)i; if(sha1_32(buf)==1726365194){break;} }
		for(i=-112;i<-97;i++){ buf[1127]=(byte)i; if(sha1_32(buf)==-1414342881){break;} }
		for(i=-122;i<-111;i++){ buf[1128]=(byte)i; if(sha1_32(buf)==-1159491652){break;} }
		for(i=6;i<26;i++){ buf[1129]=(byte)i; if(sha1_32(buf)==1906405103){break;} }
		for(i=-5;i<-1;i++){ buf[1130]=(byte)i; if(sha1_32(buf)==1504506144){break;} }
		for(i=-46;i<-28;i++){ buf[1131]=(byte)i; if(sha1_32(buf)==-1880992434){break;} }
		for(i=-118;i<-106;i++){ buf[1132]=(byte)i; if(sha1_32(buf)==399767642){break;} }
		for(i=84;i<98;i++){ buf[1133]=(byte)i; if(sha1_32(buf)==-564379073){break;} }
		for(i=56;i<75;i++){ buf[1134]=(byte)i; if(sha1_32(buf)==-1886941105){break;} }
		for(i=-73;i<-49;i++){ buf[1135]=(byte)i; if(sha1_32(buf)==-1552609357){break;} }
		for(i=115;i<128;i++){ buf[1136]=(byte)i; if(sha1_32(buf)==1859330954){break;} }
		for(i=65;i<82;i++){ buf[1137]=(byte)i; if(sha1_32(buf)==-1227987355){break;} }
		for(i=-86;i<-68;i++){ buf[1138]=(byte)i; if(sha1_32(buf)==590387096){break;} }
		for(i=51;i<68;i++){ buf[1139]=(byte)i; if(sha1_32(buf)==1302913020){break;} }
		for(i=99;i<121;i++){ buf[1140]=(byte)i; if(sha1_32(buf)==-373056941){break;} }
		for(i=-123;i<-115;i++){ buf[1141]=(byte)i; if(sha1_32(buf)==-976182684){break;} }
		for(i=-102;i<-86;i++){ buf[1142]=(byte)i; if(sha1_32(buf)==-286485102){break;} }
		for(i=-114;i<-99;i++){ buf[1143]=(byte)i; if(sha1_32(buf)==1849294410){break;} }
		for(i=75;i<99;i++){ buf[1144]=(byte)i; if(sha1_32(buf)==2061471785){break;} }
		for(i=116;i<128;i++){ buf[1145]=(byte)i; if(sha1_32(buf)==143020676){break;} }
		for(i=-89;i<-77;i++){ buf[1146]=(byte)i; if(sha1_32(buf)==1028592222){break;} }
		for(i=77;i<91;i++){ buf[1147]=(byte)i; if(sha1_32(buf)==-254712300){break;} }
		for(i=116;i<127;i++){ buf[1148]=(byte)i; if(sha1_32(buf)==-1560739011){break;} }
		for(i=118;i<128;i++){ buf[1149]=(byte)i; if(sha1_32(buf)==-895145438){break;} }
		for(i=-54;i<-33;i++){ buf[1150]=(byte)i; if(sha1_32(buf)==918781187){break;} }
		for(i=47;i<67;i++){ buf[1151]=(byte)i; if(sha1_32(buf)==1241156261){break;} }
		for(i=87;i<107;i++){ buf[1152]=(byte)i; if(sha1_32(buf)==1593936514){break;} }
		for(i=-42;i<-27;i++){ buf[1153]=(byte)i; if(sha1_32(buf)==-1159696081){break;} }
		for(i=34;i<51;i++){ buf[1154]=(byte)i; if(sha1_32(buf)==-1611848174){break;} }
		for(i=98;i<122;i++){ buf[1155]=(byte)i; if(sha1_32(buf)==-1218042445){break;} }
		for(i=67;i<80;i++){ buf[1156]=(byte)i; if(sha1_32(buf)==1172076178){break;} }
		for(i=12;i<30;i++){ buf[1157]=(byte)i; if(sha1_32(buf)==-1850957089){break;} }
		for(i=-128;i<-113;i++){ buf[1158]=(byte)i; if(sha1_32(buf)==-863628217){break;} }
		for(i=1;i<24;i++){ buf[1159]=(byte)i; if(sha1_32(buf)==-259255848){break;} }
		for(i=-45;i<-35;i++){ buf[1160]=(byte)i; if(sha1_32(buf)==1508331430){break;} }
		for(i=-112;i<-91;i++){ buf[1161]=(byte)i; if(sha1_32(buf)==1731701321){break;} }
		for(i=91;i<97;i++){ buf[1162]=(byte)i; if(sha1_32(buf)==-1747264218){break;} }
		for(i=-49;i<-42;i++){ buf[1163]=(byte)i; if(sha1_32(buf)==1227565993){break;} }
		for(i=10;i<26;i++){ buf[1164]=(byte)i; if(sha1_32(buf)==-39069106){break;} }
		for(i=-34;i<-16;i++){ buf[1165]=(byte)i; if(sha1_32(buf)==-419892419){break;} }
		for(i=-31;i<-17;i++){ buf[1166]=(byte)i; if(sha1_32(buf)==627161329){break;} }
		for(i=65;i<88;i++){ buf[1167]=(byte)i; if(sha1_32(buf)==1833254311){break;} }
		for(i=-121;i<-98;i++){ buf[1168]=(byte)i; if(sha1_32(buf)==-392044150){break;} }
		for(i=-8;i<-4;i++){ buf[1169]=(byte)i; if(sha1_32(buf)==-2106581475){break;} }
		for(i=-88;i<-80;i++){ buf[1170]=(byte)i; if(sha1_32(buf)==1440183654){break;} }
		for(i=49;i<63;i++){ buf[1171]=(byte)i; if(sha1_32(buf)==-220003155){break;} }
		for(i=22;i<39;i++){ buf[1172]=(byte)i; if(sha1_32(buf)==-727134826){break;} }
		for(i=79;i<106;i++){ buf[1173]=(byte)i; if(sha1_32(buf)==-1815083170){break;} }
		for(i=50;i<65;i++){ buf[1174]=(byte)i; if(sha1_32(buf)==-292276270){break;} }
		for(i=-96;i<-80;i++){ buf[1175]=(byte)i; if(sha1_32(buf)==-598921159){break;} }
		for(i=-62;i<-45;i++){ buf[1176]=(byte)i; if(sha1_32(buf)==-1136023945){break;} }
		for(i=-37;i<-20;i++){ buf[1177]=(byte)i; if(sha1_32(buf)==-627629963){break;} }
		for(i=61;i<78;i++){ buf[1178]=(byte)i; if(sha1_32(buf)==2111093342){break;} }
		for(i=-27;i<-15;i++){ buf[1179]=(byte)i; if(sha1_32(buf)==-353032384){break;} }
		for(i=95;i<101;i++){ buf[1180]=(byte)i; if(sha1_32(buf)==576804994){break;} }
		for(i=-65;i<-53;i++){ buf[1181]=(byte)i; if(sha1_32(buf)==-1352603711){break;} }
		for(i=73;i<92;i++){ buf[1182]=(byte)i; if(sha1_32(buf)==-1618882287){break;} }
		for(i=-111;i<-89;i++){ buf[1183]=(byte)i; if(sha1_32(buf)==1951029628){break;} }
		for(i=-83;i<-63;i++){ buf[1184]=(byte)i; if(sha1_32(buf)==-912646816){break;} }
		for(i=94;i<110;i++){ buf[1185]=(byte)i; if(sha1_32(buf)==2098869880){break;} }
		for(i=78;i<92;i++){ buf[1186]=(byte)i; if(sha1_32(buf)==-527941106){break;} }
		for(i=-105;i<-87;i++){ buf[1187]=(byte)i; if(sha1_32(buf)==-2102193512){break;} }
		for(i=-93;i<-86;i++){ buf[1188]=(byte)i; if(sha1_32(buf)==-2117735917){break;} }
		for(i=-22;i<-1;i++){ buf[1189]=(byte)i; if(sha1_32(buf)==-1538787583){break;} }
		for(i=63;i<92;i++){ buf[1190]=(byte)i; if(sha1_32(buf)==1208311433){break;} }
		for(i=-124;i<-114;i++){ buf[1191]=(byte)i; if(sha1_32(buf)==-159128683){break;} }
		for(i=3;i<26;i++){ buf[1192]=(byte)i; if(sha1_32(buf)==-23768414){break;} }
		for(i=-92;i<-87;i++){ buf[1193]=(byte)i; if(sha1_32(buf)==-479740576){break;} }
		for(i=-77;i<-57;i++){ buf[1194]=(byte)i; if(sha1_32(buf)==946662469){break;} }
		for(i=-3;i<15;i++){ buf[1195]=(byte)i; if(sha1_32(buf)==1216214372){break;} }
		for(i=-37;i<-25;i++){ buf[1196]=(byte)i; if(sha1_32(buf)==-1118579069){break;} }
		for(i=54;i<68;i++){ buf[1197]=(byte)i; if(sha1_32(buf)==-1557399640){break;} }
		for(i=12;i<34;i++){ buf[1198]=(byte)i; if(sha1_32(buf)==-73919961){break;} }
		for(i=7;i<17;i++){ buf[1199]=(byte)i; if(sha1_32(buf)==-1059293209){break;} }
		for(i=60;i<76;i++){ buf[1200]=(byte)i; if(sha1_32(buf)==678417227){break;} }
		for(i=83;i<97;i++){ buf[1201]=(byte)i; if(sha1_32(buf)==1807395426){break;} }
		for(i=-123;i<-115;i++){ buf[1202]=(byte)i; if(sha1_32(buf)==-2088941944){break;} }
		for(i=23;i<38;i++){ buf[1203]=(byte)i; if(sha1_32(buf)==-352396389){break;} }
		for(i=79;i<93;i++){ buf[1204]=(byte)i; if(sha1_32(buf)==-1882085338){break;} }
		for(i=-52;i<-31;i++){ buf[1205]=(byte)i; if(sha1_32(buf)==-43037048){break;} }
		for(i=103;i<119;i++){ buf[1206]=(byte)i; if(sha1_32(buf)==-68170961){break;} }
		for(i=-57;i<-30;i++){ buf[1207]=(byte)i; if(sha1_32(buf)==1786086574){break;} }
		for(i=113;i<128;i++){ buf[1208]=(byte)i; if(sha1_32(buf)==-377120831){break;} }
		for(i=-18;i<-1;i++){ buf[1209]=(byte)i; if(sha1_32(buf)==370372383){break;} }
		for(i=-127;i<-108;i++){ buf[1210]=(byte)i; if(sha1_32(buf)==959916770){break;} }
		for(i=12;i<30;i++){ buf[1211]=(byte)i; if(sha1_32(buf)==18551329){break;} }
		for(i=-113;i<-85;i++){ buf[1212]=(byte)i; if(sha1_32(buf)==1838177289){break;} }
		for(i=110;i<128;i++){ buf[1213]=(byte)i; if(sha1_32(buf)==1675439628){break;} }
		for(i=-43;i<-23;i++){ buf[1214]=(byte)i; if(sha1_32(buf)==-1074494541){break;} }
		for(i=-26;i<-7;i++){ buf[1215]=(byte)i; if(sha1_32(buf)==1714166863){break;} }
		for(i=-49;i<-34;i++){ buf[1216]=(byte)i; if(sha1_32(buf)==-580503469){break;} }
		for(i=-39;i<-30;i++){ buf[1217]=(byte)i; if(sha1_32(buf)==-1739273328){break;} }
		for(i=-93;i<-71;i++){ buf[1218]=(byte)i; if(sha1_32(buf)==-871829812){break;} }
		for(i=-58;i<-39;i++){ buf[1219]=(byte)i; if(sha1_32(buf)==-1522652942){break;} }
		for(i=35;i<53;i++){ buf[1220]=(byte)i; if(sha1_32(buf)==718441599){break;} }
		for(i=-128;i<-108;i++){ buf[1221]=(byte)i; if(sha1_32(buf)==-565890064){break;} }
		for(i=71;i<88;i++){ buf[1222]=(byte)i; if(sha1_32(buf)==-1381833155){break;} }
		for(i=-41;i<-34;i++){ buf[1223]=(byte)i; if(sha1_32(buf)==1745652719){break;} }
		for(i=-1;i<23;i++){ buf[1224]=(byte)i; if(sha1_32(buf)==1820349306){break;} }
		for(i=-76;i<-68;i++){ buf[1225]=(byte)i; if(sha1_32(buf)==-709971640){break;} }
		for(i=8;i<18;i++){ buf[1226]=(byte)i; if(sha1_32(buf)==-462270973){break;} }
		for(i=16;i<32;i++){ buf[1227]=(byte)i; if(sha1_32(buf)==422918217){break;} }
		for(i=22;i<30;i++){ buf[1228]=(byte)i; if(sha1_32(buf)==-552496786){break;} }
		for(i=12;i<43;i++){ buf[1229]=(byte)i; if(sha1_32(buf)==-2116947760){break;} }
		for(i=105;i<119;i++){ buf[1230]=(byte)i; if(sha1_32(buf)==-119896273){break;} }
		for(i=-122;i<-117;i++){ buf[1231]=(byte)i; if(sha1_32(buf)==1690121776){break;} }
		for(i=125;i<128;i++){ buf[1232]=(byte)i; if(sha1_32(buf)==1848123371){break;} }
		for(i=84;i<99;i++){ buf[1233]=(byte)i; if(sha1_32(buf)==-29550817){break;} }
		for(i=-120;i<-119;i++){ buf[1234]=(byte)i; if(sha1_32(buf)==-379160727){break;} }
		for(i=-20;i<1;i++){ buf[1235]=(byte)i; if(sha1_32(buf)==-293941338){break;} }
		for(i=-10;i<12;i++){ buf[1236]=(byte)i; if(sha1_32(buf)==-293941338){break;} }
		for(i=-128;i<-121;i++){ buf[1237]=(byte)i; if(sha1_32(buf)==2118060033){break;} }
		for(i=-8;i<8;i++){ buf[1238]=(byte)i; if(sha1_32(buf)==-1469194247){break;} }
		for(i=-114;i<-96;i++){ buf[1239]=(byte)i; if(sha1_32(buf)==-1191786328){break;} }
		for(i=-36;i<-28;i++){ buf[1240]=(byte)i; if(sha1_32(buf)==2115894758){break;} }
		for(i=112;i<128;i++){ buf[1241]=(byte)i; if(sha1_32(buf)==-216439935){break;} }
		for(i=74;i<83;i++){ buf[1242]=(byte)i; if(sha1_32(buf)==-1389442309){break;} }
		for(i=43;i<54;i++){ buf[1243]=(byte)i; if(sha1_32(buf)==1487609237){break;} }
		for(i=82;i<102;i++){ buf[1244]=(byte)i; if(sha1_32(buf)==995781521){break;} }
		for(i=82;i<94;i++){ buf[1245]=(byte)i; if(sha1_32(buf)==351786398){break;} }
		for(i=-119;i<-110;i++){ buf[1246]=(byte)i; if(sha1_32(buf)==1183569420){break;} }
		for(i=-39;i<-22;i++){ buf[1247]=(byte)i; if(sha1_32(buf)==-1582164618){break;} }
		for(i=40;i<57;i++){ buf[1248]=(byte)i; if(sha1_32(buf)==916409997){break;} }
		for(i=-78;i<-51;i++){ buf[1249]=(byte)i; if(sha1_32(buf)==-1099560784){break;} }
		for(i=63;i<74;i++){ buf[1250]=(byte)i; if(sha1_32(buf)==-1829250210){break;} }
		for(i=36;i<51;i++){ buf[1251]=(byte)i; if(sha1_32(buf)==-1468508846){break;} }
		for(i=-6;i<19;i++){ buf[1252]=(byte)i; if(sha1_32(buf)==1721620967){break;} }
		for(i=67;i<87;i++){ buf[1253]=(byte)i; if(sha1_32(buf)==1316885099){break;} }
		for(i=-61;i<-45;i++){ buf[1254]=(byte)i; if(sha1_32(buf)==1316222826){break;} }
		for(i=41;i<48;i++){ buf[1255]=(byte)i; if(sha1_32(buf)==1928790774){break;} }
		for(i=-43;i<-38;i++){ buf[1256]=(byte)i; if(sha1_32(buf)==-1181967860){break;} }
		for(i=-119;i<-90;i++){ buf[1257]=(byte)i; if(sha1_32(buf)==-1887515143){break;} }
		for(i=-125;i<-104;i++){ buf[1258]=(byte)i; if(sha1_32(buf)==-1226468909){break;} }
		for(i=-106;i<-93;i++){ buf[1259]=(byte)i; if(sha1_32(buf)==-84805816){break;} }
		for(i=-112;i<-105;i++){ buf[1260]=(byte)i; if(sha1_32(buf)==1710781635){break;} }
		for(i=-16;i<-9;i++){ buf[1261]=(byte)i; if(sha1_32(buf)==2092832686){break;} }
		for(i=-77;i<-76;i++){ buf[1262]=(byte)i; if(sha1_32(buf)==-499803840){break;} }
		for(i=103;i<122;i++){ buf[1263]=(byte)i; if(sha1_32(buf)==22144967){break;} }
		for(i=-91;i<-82;i++){ buf[1264]=(byte)i; if(sha1_32(buf)==-1686235164){break;} }
		for(i=-80;i<-66;i++){ buf[1265]=(byte)i; if(sha1_32(buf)==-1150940918){break;} }
		for(i=-31;i<-11;i++){ buf[1266]=(byte)i; if(sha1_32(buf)==-670785437){break;} }
		for(i=-128;i<-113;i++){ buf[1267]=(byte)i; if(sha1_32(buf)==-1283688160){break;} }
		for(i=-49;i<-40;i++){ buf[1268]=(byte)i; if(sha1_32(buf)==-469329206){break;} }
		for(i=-118;i<-97;i++){ buf[1269]=(byte)i; if(sha1_32(buf)==1615892657){break;} }
		for(i=70;i<83;i++){ buf[1270]=(byte)i; if(sha1_32(buf)==-847225118){break;} }
		for(i=-74;i<-63;i++){ buf[1271]=(byte)i; if(sha1_32(buf)==-361465340){break;} }
		for(i=-2;i<9;i++){ buf[1272]=(byte)i; if(sha1_32(buf)==-1863626471){break;} }
		for(i=-44;i<-29;i++){ buf[1273]=(byte)i; if(sha1_32(buf)==-1820167877){break;} }
		return buf;
	}
}
